Models and Proofs of Protocol Security: A Progress Report

DOI10.1007/978-3-642-02658-4_5MaRDI QIDQ3636852zbMATH OpenOpenAlexFDO

Authors Martín Abadi, Bruno Blanchet, Hubert Comon-Lundh

Publication date 30 June 2009

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02658-4_5

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• Security protocol verification: symbolic and computational models
• Automated unbounded verification of security protocols
• Automatic verification of security protocols in the symbolic model: the verifier ProVerif
• Proof techniques for cryptographic protocols
• Using SPIN to verify security properties of cryptographic protocols

Cited in

(32)

• Security protocols. 9th international workshop, Cambridge, UK, April 25--27, 2001. Revised papers
• Formal verification: an imperative step in the design of security protocols
• Using probabilistic automata for security protocols verification
• Formal analysis and offline monitoring of electronic exams
• Automated verification of selected equivalences for security protocols
• On the relationships between models in protocol verification
• Computer-assisted verification of a protocol for certified email
• A note on security proofs in the generic model
• Security protocols and their properties
• Information based reasoning about security protocols
• Synthesising efficient and effective security protocols
• Toward reasoning about security protocols: a semantic approach
• Security protocol verification: symbolic and computational models
• From model-checking to automated testing of security protocols: bridging the gap
• Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later
• Logical formalisation and analysis of the Mifare Classic card in PVS
• How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.
• Comparative analysis of formal model checking tools for security protocol verification
• About models of security protocols
• Let’s Get Physical: Models and Methods for Real-World Security Protocols
• Security Protocols: Principles and Calculi
• Analyzing Security Protocols in Hierarchical Networks
• Using SPIN to verify security properties of cryptographic protocols
• Automated unbounded verification of security protocols
• Computer-assisted verification of a protocol for certified email
• scientific article; zbMATH DE number 2112333 (Why is no real title available?)
• Improvement of a chaotic maps-based three-party password-authenticated key exchange protocol without using server's public key and smart card
• Formalization in PVS of balancing properties necessary for proving security of the Dolev-Yao cascade protocol model
• Automatic verification of security protocols in the symbolic model: the verifier ProVerif
• A Declarative Framework for Security: Secure Concurrent Constraint Programming
• Verifying security protocols: An application of CSP
• Operational semantics and verification of security protocols.

This page was built for publication: Models and Proofs of Protocol Security: A Progress Report

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