Proof-based design of security protocols

DOI10.1007/978-3-642-13182-0_3MaRDI QIDQ3569728zbMATH OpenOpenAlexFDO

Authors Nazim Benaissa, Dominique Mery

Publication date 22 June 2010

Published in Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13182-0_3

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Network protocols (68M12)

Recommendations

• Cryptographic Protocols Analysis in Event B
• Compositional refinement in agent-based security protocols
• Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols
• Action Refinement in Process Algebra and Security Issues
• Sound Security Protocol Transformations

Cited in

(6)

• Compositional refinement in agent-based security protocols
• Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols
• Proof techniques for cryptographic processes
• Programming Languages and Systems
• scientific article; zbMATH DE number 1330435 (Why is no real title available?)
• Limits of Constructive Security Proofs

This page was built for publication: Proof-based design of security protocols

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