Deconstructing Alice and Bob

MaRDI QIDQ2848475zbMATH OpenFDO

Authors Luca Viganò, Carlos Caleiro, David Basin

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050498

Mathematics Subject Classification ID

Network protocols (68M12) Cryptography (94A60)

Recommendations

• On the semantics of Alice \& Bob specifications of security protocols
• Alice and Bob: reconciling formal models and implementation
• Alice and Bob meet equational theories
• A method for symbolic analysis of security protocols
• Trustworthy Global Computing

Cited in

(4)

• A formal semantics for protocol narrations
• Alice and Bob meet equational theories
• Alice and Bob: reconciling formal models and implementation
• On the semantics of Alice \& Bob specifications of security protocols

This page was built for publication: Deconstructing Alice and Bob

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848475)