2008 | OriginalPaper | Buchkapitel
The Layered Games Framework for Specifications and Analysis of Security Protocols
verfasst von : Amir Herzberg, Igal Yoffe
Erschienen in: Theory of Cryptography
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The layered games framework provides a solid foundation to the accepted methodology of building complex distributed systems, as a ‘stack’ of independently-developed protocols. Each protocol in the stack, realizes a corresponding ‘layer’ model, over the ‘lower layer’. We define layers, protocols and related concepts. We then prove the
fundamental lemma of layering
. The lemma shows that given a stack of protocols
$\{\pi_i\}_{i=1}^u$
, s.t. for every
i
∈ {1,...
u
}, protocol
π
i
realizes layer
over layer
, then the entire stack can be composed to a single protocol
π
u
||...||1
, which realizes layer
over layer
.
The fundamental lemma of layering allows precise specification, design and analysis of each layer independently, and combining the results to ensure properties of the complete system. This is especially useful when considering (computationally-bounded) adversarial environments, as for security and cryptographic protocols.
Our specifications are based on
games
, following many works in applied cryptography. This differs from existing frameworks allowing compositions of cryptographic protocols, which are based on
simulatability of ideal functionality
.