A derivation system for security protocols and its logical formalization (2003)

by Anupam Datta , Ante Derek , John C. Mitchell , Dusko Pavlovic
Venue:In Proceedings of 16th IEEE Computer Security Foundations Workshop
Citations:33 - 18 self