The layered games framework for specifications and analysis of security protocols

Keyphrases

• Adversarial Setting 50%
• Adversary 50%
• Building Complex 50%
• Complete System 50%
• Complex Distributed Systems 50%
• Cryptographic Protocols 50%
• Distributed Systems 50%
• Game Framework 100%
• Game-based 50%
• High Probability 50%
• Ideal Functionality 100%
• Layered Design 50%
• Layered Game 100%
• Lower Layer 100%
• Modular Design 100%
• Over-specification 50%
• Resilient 50%
• Security Analysis 100%
• Security Protocols 100%
• World Wide Web 50%

Computer Science

• Adversarial Setting 50%
• Cryptographic Protocol 50%
• Distributed Systems 100%
• Security protocols 100%