S.S.: A semantic model for authentication protocols (1993)

by T Y C Woo, Lam
Venue:In: IEEE Symposium on Security and Privacy