Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei. Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols. In Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011. pages 83-98, IEEE Computer Society, 2011. [doi]
@inproceedings{BugliesiCEM11,
title = {Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols},
author = {Michele Bugliesi and Stefano Calzavara and Fabienne Eigner and Matteo Maffei},
year = {2011},
doi = {10.1109/CSF.2011.13},
url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2011.13},
tags = {protocol, context-aware},
researchr = {https://researchr.org/publication/BugliesiCEM11},
cites = {0},
citedby = {0},
pages = {83-98},
booktitle = {Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011},
publisher = {IEEE Computer Society},
isbn = {978-1-61284-644-6},
}