Stateful protocol composition

DOI10.1007/978-3-319-99073-6_21zbMath1496.68065OpenAlexW2810799948MaRDI QIDQ2167741

Achim D. Brucker, Andreas V. Hess, Sebastian Mödersheim

Publication date: 25 August 2022

Full work available at URL: https://hdl.handle.net/10871/40037

Mathematics Subject Classification ID

Cryptography (94A60) Computer security (68M25)

Related Items

Stateful protocol composition

Uses Software

• Isabelle/HOL

Cites Work

• Safely composing security protocols
• Isabelle/HOL. A proof assistant for higher-order logic
• Typing and compositionality for security protocols: a generalization to the geometric fragment
• Stateful protocol composition
• Composition of password-based protocols
• The reactive simulatability (RSIM) framework for asynchronous systems
• A framework for compositional verification of security protocols
• Secure Pseudonymous Channels
• Cryptographic Protocol Composition via the Authentication Tests