Security protocol verification: symbolic and computational models
From MaRDI portal
Recommendations
- Models and Proofs of Protocol Security: A Progress Report
- Automatic verification of security protocols in the symbolic model: the verifier ProVerif
- A survey of symbolic methods in computational analysis of cryptographic systems
- scientific article; zbMATH DE number 1024091
- Comparative analysis of formal model checking tools for security protocol verification
Cited in
(31)- A tutorial-style introduction to \(\mathsf{DY}^{\star}\)
- Combining proverif and automated theorem provers for security protocol verification
- Automated analysis of cryptographic assumptions in generic group models
- Automated verification of selected equivalences for security protocols
- On the relationships between models in protocol verification
- Verifying security protocols with PVS: widening the rank function approach
- Computer-assisted verification of a protocol for certified email
- A coordination-based methodology for security protocol verification
- From model-checking to automated testing of security protocols: bridging the gap
- Formal verification of complex coherence protocols using symbolic state models
- Comparative analysis of formal model checking tools for security protocol verification
- About models of security protocols
- Model Checking Security Protocols
- Formal verification of security model using SPR tool
- Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques
- Models and Proofs of Protocol Security: A Progress Report
- scientific article; zbMATH DE number 1024091 (Why is no real title available?)
- scientific article; zbMATH DE number 2067890 (Why is no real title available?)
- scientific article; zbMATH DE number 2084804 (Why is no real title available?)
- scientific article; zbMATH DE number 2087629 (Why is no real title available?)
- Automated type-based analysis of injective agreement in the presence of compromised principals
- scientific article; zbMATH DE number 7113382 (Why is no real title available?)
- Automatic verification of security protocols in the symbolic model: the verifier ProVerif
- Modular verification of security protocol code by typing
- A survey of symbolic methods in computational analysis of cryptographic systems
- SPVT: an efficient verification tool for security protocols
- Verification and modelling of authentication protocols
- Operational semantics and verification of security protocols.
- scientific article; zbMATH DE number 7806140 (Why is no real title available?)
- Formalization and analysis of the post-quantum signature scheme FALCON with Maude
- Model-checking strategic abilities in information-sharing systems
This page was built for publication: Security protocol verification: symbolic and computational models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894308)
