Formal Methods for the Analysis of Authentication Protocols (1993)

by Aviel D. Rubin , Peter Honeyman
Citations:29 - 0 self