Automated analysis of Diffie-Hellman protocols and advanced security properties (0)

by B Schmidt, S Meier, C Cremers, D A Basin
Venue:In Proceedings of the 25rd IEEE Computer Security Foundations Symposium, CSF 2012