@inproceedings{DBLP:conf/esop/FournetGM05,
  author    = {C{\'{e}}dric Fournet and
               Andrew D. Gordon and
               Sergio Maffeis},
  editor    = {Shmuel Sagiv},
  title     = {A Type Discipline for Authorization Policies},
  booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,ESOP
               2005, Held as Part of the Joint European Conferences on Theory and
               Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3444},
  pages     = {141--156},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/978-3-540-31987-0\_11},
  doi       = {10.1007/978-3-540-31987-0\_11},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/esop/FournetGM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NnpAdg44JMMvk4E4p","bibbaseid":"fournet-gordon-maffeis-atypedisciplineforauthorizationpolicies-2005","authorIDs":["hrNNizWME9gRP5FWT"],"author_short":["Fournet, C.","Gordon, A. D.","Maffeis, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Cédric"],"propositions":[],"lastnames":["Fournet"],"suffixes":[]},{"firstnames":["Andrew","D."],"propositions":[],"lastnames":["Gordon"],"suffixes":[]},{"firstnames":["Sergio"],"propositions":[],"lastnames":["Maffeis"],"suffixes":[]}],"editor":[{"firstnames":["Shmuel"],"propositions":[],"lastnames":["Sagiv"],"suffixes":[]}],"title":"A Type Discipline for Authorization Policies","booktitle":"Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings","series":"Lecture Notes in Computer Science","volume":"3444","pages":"141–156","publisher":"Springer","year":"2005","url":"https://doi.org/10.1007/978-3-540-31987-0_11","doi":"10.1007/978-3-540-31987-0_11","timestamp":"Tue, 14 May 2019 10:00:41 +0200","biburl":"https://dblp.org/rec/conf/esop/FournetGM05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/esop/FournetGM05,\n author = {C{\\'{e}}dric Fournet and\n Andrew D. Gordon and\n Sergio Maffeis},\n editor = {Shmuel Sagiv},\n title = {A Type Discipline for Authorization Policies},\n booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,ESOP\n 2005, Held as Part of the Joint European Conferences on Theory and\n Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005,\n Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {3444},\n pages = {141--156},\n publisher = {Springer},\n year = {2005},\n url = {https://doi.org/10.1007/978-3-540-31987-0\\_11},\n doi = {10.1007/978-3-540-31987-0\\_11},\n timestamp = {Tue, 14 May 2019 10:00:41 +0200},\n biburl = {https://dblp.org/rec/conf/esop/FournetGM05.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fournet, C.","Gordon, A. D.","Maffeis, S."],"editor_short":["Sagiv, S."],"key":"DBLP:conf/esop/FournetGM05","id":"DBLP:conf/esop/FournetGM05","bibbaseid":"fournet-gordon-maffeis-atypedisciplineforauthorizationpolicies-2005","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-31987-0_11"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/m/SergioMaffeis.bib","creationDate":"2020-10-02T13:19:38.189Z","downloads":0,"keywords":[],"search_terms":["type","discipline","authorization","policies","fournet","gordon","maffeis"],"title":"A Type Discipline for Authorization Policies","year":2005,"dataSources":["h95PzaHKqEd4c7eRK"]}