On the relationships between models in protocol verification

DOI10.1016/J.IC.2007.07.006MaRDI QIDQ2482448zbMATH OpenOpenAlexFDO

Authors Sebastian Mödersheim

Publication date 16 April 2008

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2007.07.006

zbMATH Keywords

abstractionformal verificationsecurity protocols

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On Communication Models When Verifying Equivalence Properties
• Rewriting-based verification of authentication protocols
• About models of security protocols
• Models and Proofs of Protocol Security: A Progress Report
• Security protocol verification: symbolic and computational models

Cites work

• A formal language for cryptographic protocol requirements
• Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
• Analyzing security protocols with secrecy types and logic programs
• Computer Aided Verification
• scientific article; zbMATH DE number 1614701 (Why is no real title available?)
• scientific article; zbMATH DE number 1341618 (Why is no real title available?)
• scientific article; zbMATH DE number 1956548 (Why is no real title available?)
• scientific article; zbMATH DE number 1962758 (Why is no real title available?)
• scientific article; zbMATH DE number 1903362 (Why is no real title available?)
• Injective synchronisation: An extension of the authentication hierarchy
• On the security of public key protocols
• Optimistic fair exchange of digital signatures
• Security protocols: from linear to classical logic by abstract interpretation
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

Cited in

(3)

• scientific article; zbMATH DE number 2089421 (Why is no real title available?)
• The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
• On Communication Models When Verifying Equivalence Properties

Describes a project that uses

Uses Software

• AVISPA

This page was built for publication: On the relationships between models in protocol verification

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