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
- Mobile IPv6: Binding Update-Return Routability Procedure, A. Encarnacao, G. Bayer [Project Page]
- Mobile IPv6: Fast Handover Key Distribution using SEND, C. Brigham, T. Wang [Project Page]
- Bluetooth v2.1 + EDR Pairing Authentication Protocol, J. Jersin, J. Wheeler [Project Page]
- OpenID 2.0, B. Newman, S. Lingamneni [Project Page]
- Remote Attestation, L Jain, J Vyas [Project Page]
- Direct Anonymous Protocol, S. Regmi, I. Pirkin [Project Page]
- 802.16e Multicast-Broadcast Key Distribution, J.Y. Kuo. [Project Page]
- Off-the-Record (OTR) v2, J. Bonneau, A. Morrison [Project Page]
- ZRTP Protocol used in VoIP, A. Schwartz, J. Robin [Project Page]
- MOBIKE - IKEv2 Mobility and Multihoming Protocol, E. Weathers, F. Memon [Project Page]
- Octopus Protocol, R. Wisnewsky, T. Joglekar [Project Page]