Analyzing Encryption Protocols Using Formal Verification Authentication Schemes.

Richard A. Kemmerer

Browse the full CRYPTO paper archive.