Proof-based design of security protocols

DOI10.1007/978-3-642-13182-0_3zbMATH Open1285.68044OpenAlexW1504821644MaRDI QIDQ3569728FDOQ3569728

Dominique Mery, Nazim Benaissa

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)

Cited In (4)

• Proof techniques for cryptographic processes
• Programming Languages and Systems
• Title not available (Why is that?)
• Limits of Constructive Security Proofs

   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 👍 👎

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)