Comparative analysis of formal model checking tools for security protocol verification
From MaRDI portal
Recommendations
- Security protocol verification: symbolic and computational models
- Operational semantics and verification of security protocols.
- Formal verification: an imperative step in the design of security protocols
- A coordination-based methodology for security protocol verification
- Models and Proofs of Protocol Security: A Progress Report
Cited in
(13)- Formal verification: an imperative step in the design of security protocols
- A coordination-based methodology for security protocol verification
- Security protocol verification: symbolic and computational models
- 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
- Analyzing Security Protocols in Hierarchical Networks
- scientific article; zbMATH DE number 2112369 (Why is no real title available?)
- scientific article; zbMATH DE number 5051652 (Why is no real title available?)
- Computer Aided Verification
- AI 2005: Advances in Artificial Intelligence
- Operational semantics and verification of security protocols.
- A Survey of Practical Formal Methods for Security
This page was built for publication: Comparative analysis of formal model checking tools for security protocol verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3164588)
