Security Protocol Verification Using SPIN (1995)

by A Joesang
Venue:Proc. First SPIN Workshop