Integrating Verification, Testing, and Learning for Cryptographic Protocols

DOI10.1007/978-3-540-73210-5_28MaRDI QIDQ3608895zbMATH OpenOpenAlexFDO

Authors Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, T. A. C. Willemse

Publication date 6 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-73210-5_28

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 1948406
• scientific article; zbMATH DE number 1860614
• Three systems for cryptographic protocol analysis
• scientific article; zbMATH DE number 1024091
• Verified interoperable implementations of security protocols

Cited in

(2)

• Message Confidentiality Testing of Security Protocols – Passive Monitoring and Active Checking
• A Testing Theory for a Higher-Order Cryptographic Language

Describes a project that uses

Uses Software

• Casper

This page was built for publication: Integrating Verification, Testing, and Learning for Cryptographic Protocols

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