Security protocol verification using SPIN (1995)

by A Jøsang
Venue:Proceedings of the First SPN Workshop, INRS-Telecommunications