Security protocols

• Security Protocol Open Repository
• Official Internet Protocol Standards
• Current Internet-Drafts

Tools for protocol analysis

• Murphi homepage
• PRISM, Probabilistic Symbolic Model Checker
• Mocha: Exploiting Modularity in Model Checking
• Isabelle Theorem Prover
• Constraint Solving in Prolog

Security protocol courses

• CS259: Security Analysis of Network Protocols (Stanford)
• CS395T: Design and Analysis of Security Protocols (UTexas)