The Layered Games Framework for Specifications and Analysis of Security Protocols

DOI10.1007/978-3-540-78524-8_8MaRDI QIDQ5445502zbMATH OpenOpenAlexFDO

Authors Amir Herzberg, Igal Yoffe

Publication date 5 March 2008

Published in Theory of Cryptography (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78524-8_8

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• The layered games framework for specifications and analysis of security protocols
• A game-theoretic framework for specification and verification of cryptographic protocols
• Universally composable security
• A novel framework for protocol analysis
• CryptHOL: game-based proofs in higher-order logic

Cites work

• Compositional analysis of contract-signing protocols
• Conditional reactive simulatability
• Foundations of Cryptography
• scientific article; zbMATH DE number 3960854 (Why is no real title available?)
• scientific article; zbMATH DE number 1842484 (Why is no real title available?)
• On Secure Orders in the Presence of Faults
• On the limitations of universally composable two-party computation without set-up assumptions
• On the security of public key protocols
• Reconciling two views of cryptography (The computational soundness of formal encryption)
• Security and composition of multiparty cryptographic protocols
• The Layered Games Framework for Specifications and Analysis of Security Protocols
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
• Theory of Cryptography
• Theory of Cryptography
• Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols

Cited in

(5)

• The layered games framework for specifications and analysis of security protocols
• The TLS handshake protocol: A modular analysis
• A Calculus for Game-Based Security Proofs
• The Layered Games Framework for Specifications and Analysis of Security Protocols
• A game-theoretic framework for specification and verification of cryptographic protocols

This page was built for publication: The Layered Games Framework for Specifications and Analysis of Security Protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5445502)