A derivation system and compositional logic for security protocols (2005)

by Anupam Datta , Ante Derek , John C. Mitchell , Dusko Pavlovic
Venue:
Citations:55 - 21 self