Finite-state analysis of security protocols (1998)

by John C Mitchell
Venue:CAV, volume 1427 of LNCS