Using SPIN to verify security properties of cryptographic protocols

DOI10.1007/3-540-46017-9_14MaRDI QIDQ4738477zbMATH OpenFDO

Authors Paolo Maggi, Riccardo Sisto

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2318/23180187.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Cryptography (94A60)

Recommendations

• Model Checking Software
• Security protocol verification: symbolic and computational models
• Models and Proofs of Protocol Security: A Progress Report
• SPVT: an efficient verification tool for security protocols
• scientific article; zbMATH DE number 697830

Cited in

(10)

• Applying spi-calculus for PayWord
• State coverage metrics for specification-based testing with Büchi automata
• 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 697830 (Why is no real title available?)
• Model Checking Software
• SPVT: an efficient verification tool for security protocols
• Communicating Sequential Processes. The First 25 Years
• Model checking the observational determinism security property using PROMELA and SPIN

Describes a project that uses

Uses Software

• Casper

This page was built for publication: Using SPIN to verify security properties of cryptographic protocols

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