Formal development of authentication protocols (1994)

by P Bieber, N Boulahia-Cuppens
Venue:In Sixth BCS-FACS Refinement Workshop