DMCA

Computationally sound compositional logic for key exchange protocols (2006)

by Anupam Datta , Ante Derek , John C. Mitchell
Venue:In Proceedings of 19th IEEE Computer Security Foundations Workshop
Citations:38 - 9 self