A coordination-based methodology for security protocol verification

MaRDI QIDQ2849570zbMATH OpenFDO

Authors Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto

Publication date 20 September 2013

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

Mathematics Subject Classification ID

Network protocols (68M12) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Security protocol verification: symbolic and computational models
• Comparative analysis of formal model checking tools for security protocol verification
• Operational semantics and verification of security protocols.
• Analysis of security protocols as open systems
• Computer-assisted verification of a protocol for certified email

Cited in

(10)

• A framework for specifying and verifying the behaviour of open systems
• A semantic framework for open processes
• Comparative analysis of formal model checking tools for security protocol verification
• Formal verification of security model using SPR tool
• Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
• Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques
• Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables
• scientific article; zbMATH DE number 1948405 (Why is no real title available?)
• Modular verification of security protocol code by typing
• Operational semantics and verification of security protocols.

This page was built for publication: A coordination-based methodology for security protocol verification

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