Publication Overview

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner and Matteo Maffei

Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols

Published in: Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011
Year: 2011
Pages: 83-98