Maude-NPA

Repository of protocol specifications in Maude-NPA

Home

Denning–Sacco Otway-Rees Amended Needham Schroeder Wide Mouthed Frog Yahalom Carlsen’s Secret Key Initiator ISO 5-pass Authentication Woo and Lam Authentication Kao-Chow Kao-Chow with handshake key Kao-Chow with tickets Secret 06 & 07 Diffie-Hellman

Needham Schroeder Lowe ECB

Needham Schroeder Lowe XOR TMN Wired Equivalent Privacy Smart Cards (SK3)

IBM CCA CCA 0 CCA 0 Küesters IBM’s recommendations to avoid CCA-0’s attack Yubikey

Choice Protocols Distance-Bounding Protocols Hash Functions Vulnerabilities Contact and links

Contact

Santiago Escobar

Catherine Meadows

José Meseguer