The logic of authentication protocols (2001)

by I Cervesato, P F Syverson
Venue:In Foundations of Security Analysis and Design, LNCS 2171