Alice and Bob: Reconciling Formal Models and Implementation

DOI10.1007/978-3-319-25527-9_7zbMath1434.68294OpenAlexW2296575472MaRDI QIDQ3460863

Omar Almousa, Luca Viganò, Sebastian Mödersheim

Publication date: 8 January 2016

Published in: Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25527-9_7

Mathematics Subject Classification ID

Cryptography (94A60) Semantics in the theory of computing (68Q55) Computer security (68M25)

Related Items (2)

Alice and Bob: Reconciling Formal Models and Implementation ⋮ Security protocols as choreographies

Uses Software

• ProVerif
• Casper
• AnBx

Cites Work

• Unnamed Item
• Unnamed Item
• Operational semantics and verification of security protocols.
• Deciding knowledge in security protocols under equational theories
• On the semantics of Alice \& Bob specifications of security protocols
• Compiling and securing cryptographic protocols
• A formal semantics for protocol narrations
• Alice and Bob Meet Equational Theories
• Alice and Bob: Reconciling Formal Models and Implementation
• Mobile values, new names, and secure communication

This page was built for publication: Alice and Bob: Reconciling Formal Models and Implementation