Library of Murphi Models
Summary
For reference, a number of Murphi models that were developed for research and class projects are collected here.
Models
- Needham-Schroeder Protocol, U. Stern
-
IEEE 802.11i 4-Way
Handshake , C. He
[ Project page ] -
IEEE 802.16e 3-Way Handshake,
V. Chauhan, S. Inguva
[ Project page ] - Simplified Model of Kerberos Version 5, U. Stern
- Asokan,Shoup,Waidner optimistic contract signing protocol, V. Shmatikov
- IP Encapsulating Security Payload protocol, U. Stern
- Garay,Jakobsson,MacKenzie abuse-free contract signing protocol, V. Shmatikov
- SSL 3.0 protocol, V. Shmatikov