scientific article; zbMATH DE number 2087629

MaRDI QIDQ4738477zbMATH OpenFDO

Authors Paolo Maggi, Riccardo Sisto

Publication date 11 August 2004

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:

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