Mechanized Proofs of Security Protocols: Needham-Schroeder with Public Keys (1997)

by Lawrence C. Paulson
Citations:29 - 4 self