The layered games framework for specifications and analysis of security protocols

DOI10.1504/IJACT.2008.021087MaRDI QIDQ1001686zbMATH OpenFDO

Authors Amir Herzberg, Igal Yoffe

Publication date 24 February 2009

Published in International Journal of Applied Cryptography (Search for Journal in Brave)

zbMATH Keywords

foundationsdistributed systemssecurityapplied cryptographyattackscomposabilityelectronic commercefailureslayered games frameworklayered specificationssecure e-commerce layers

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
• MoSS: modular security specifications framework
• Universally composable security
• scientific article; zbMATH DE number 1775427

Cited in

(3)

• The Layered Games Framework for Specifications and Analysis of Security Protocols
• MoSS: modular security specifications framework
• A Calculus for Game-Based Security Proofs

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 Q1001686)