The Logic of Authentication Protocols (2001)

by Paul Syverson , Iliano Cervesato
Venue:Foundations of Security Analysis and Design, LNCS 2171
Citations:29 - 0 self