Analysis of security protocols (1999)

by N Durgin, J Mitchell
Venue:In Calculational System Design, Series F: Computer and Systems Sciences