Security protocols as choreographies

DOI10.1007/978-3-030-91631-2_5MaRDI QIDQ2154014zbMATH OpenOpenAlexFDO

Authors Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann

Publication date 13 July 2022

Full work available at URL https://orbit.dtu.dk/en/publications/13355403-b681-442d-9e5e-d2239d8a164e

zbMATH Keywords

verificationsecurity protocolschoreography

Mathematics Subject Classification ID

Cryptography (94A60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Choreographies with secure boxes and compromised principals
• scientific article; zbMATH DE number 7454921
• From infinity to choreographies. Extraction for unbounded systems
• Applied Choreographies
• Compositional choreographies

Cites work

• A calculus of mobile processes. I
• Alice and Bob: reconciling formal models and implementation
• Automated analysis of accountability
• Choreographies with secure boxes and compromised principals
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• Multiparty Asynchronous Session Types
• On the security of public key protocols
• Searching for Shapes in Cryptographic Protocols
• Structured Communication-Centred Programming for Web Services
• The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols

Cited in

(1)

• Choreographies with secure boxes and compromised principals

This page was built for publication: Security protocols as choreographies

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