Sciweavers

BIRTHDAY
2015
Springer

Alice and Bob: Reconciling Formal Models and Implementation

7 years 11 months ago
Alice and Bob: Reconciling Formal Models and Implementation
This paper defines the “ultimate” formal semantics for Alice and Bob notation, i.e., what actions the honest agents have to perform, in the presence of an arbitrary set of cryptographic operators and their algebraic theory. Despite its generality, this semantics is mathematically simpler than any previous attempt. For practical applicability, we introduce the language SPS and an automatic translation to robust real-world implementations and corresponding formal models, and we prove this translation correct with respect to the semantics.
Omar Almousa, Sebastian Mödersheim, Luca Viga
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where BIRTHDAY
Authors Omar Almousa, Sebastian Mödersheim, Luca Viganò
Comments (0)