Computationally sound compositional logic for key exchange protocols (2006)

by A Datta, A Derek, J C Mitchell, B Warinschi
Venue:In Proceedings of 19th IEEE Computer Security Foundations Workshop