Protocols

---

Table of Contents

• Abstract Encryption
• Cryptographic Protocol Analysis
• FLASH Cache Coherence Protocol
  • Specification & Verification
  • Model Checking Verification
• Group Membership Protocol
• Kerberos
• Kermit File Transfer Protocol
• Location Consistency