Formal Methods for the Analysis of Authentication Protocols (1993)

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