Spaces: Why is a Security Protocol Correct (1998)

by Strand
Venue:Proceedings, 1998 IEEE Symposium on Security and Privacy