Formal Methods for the Analysis of Authentication Protocols (1993)

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