Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols

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]

Authors

Michele Bugliesi

This author has not been identified. Look up 'Michele Bugliesi' in Google

Stefano Calzavara

This author has not been identified. Look up 'Stefano Calzavara' in Google

Fabienne Eigner

This author has not been identified. Look up 'Fabienne Eigner' in Google

Matteo Maffei

This author has not been identified. Look up 'Matteo Maffei' in Google