Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei. Affine Refinement Types for Authentication and Authorization. In Catuscia Palamidessi, Mark Dermot Ryan, editors, Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers. Volume 8191 of Lecture Notes in Computer Science, pages 19-33, Springer, 2012. [doi]
@inproceedings{BugliesiCEM12, title = {Affine Refinement Types for Authentication and Authorization}, author = {Michele Bugliesi and Stefano Calzavara and Fabienne Eigner and Matteo Maffei}, year = {2012}, doi = {10.1007/978-3-642-41157-1_2}, url = {http://dx.doi.org/10.1007/978-3-642-41157-1_2}, researchr = {https://researchr.org/publication/BugliesiCEM12}, cites = {0}, citedby = {0}, pages = {19-33}, booktitle = {Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers}, editor = {Catuscia Palamidessi and Mark Dermot Ryan}, volume = {8191}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-41156-4}, }