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]
Abstract is missing.