SPEC: an equivalence checker for security protocols

DOI10.1007/978-3-319-47958-3_5MaRDI QIDQ3179281zbMATH OpenOpenAlexFDO

Authors

Publication date 21 December 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://orbilu.uni.lu/handle/10993/37433

Mathematics Subject Classification ID

Computer security (68M25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 1507234
• CONCUR 2004 - Concurrency Theory
• Tools and Algorithms for the Construction and Analysis of Systems
• Automated verification of selected equivalences for security protocols
• From security protocols to pushdown automata

Cites work

• A calculus for cryptographic protocols: The spi calculus
• A calculus of mobile processes. II
• A theory of bisimulation for the -calculus
• A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
• Automated verification of equivalence properties of cryptographic protocols
• Automated verification of selected equivalences for security protocols
• CONCUR 2004 - Concurrency Theory
• Deciding security properties for cryptographic protocols. application to key cycles
• scientific article; zbMATH DE number 92600 (Why is no real title available?)
• On the bisimulation proof method
• The -calculus: A theory of mobile processes

Cited in

(14)

• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
• Mechanized metatheory revisited
• Using equivalence-checking to verify robustness to denial of service
• Towards an independent semantics and verification technology for the HLPSL specification language
• SPEC
• Discovering ePassport vulnerabilities using bisimilarity
• scientific article; zbMATH DE number 7559487 (Why is no real title available?)
• A characterisation of open bisimilarity using an intuitionistic modal logic
• From security protocols to pushdown automata
• Automated Technology for Verification and Analysis
• Tools and Algorithms for the Construction and Analysis of Systems
• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
• Equivalence checking 40 years after: a review of bisimulation tools
• DeepSec: deciding equivalence properties for security protocols -- improved theory and practice

Describes a project that uses

Uses Software

• Bedwyr
• Akiss

This page was built for publication: SPEC: an equivalence checker for security protocols

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