Integrating Verification, Testing, and Learning for Cryptographic Protocols

DOI10.1007/978-3-540-73210-5_28zbMATH Open1213.68387OpenAlexW2124294776MaRDI QIDQ3608895FDOQ3608895

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

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

Mathematics Subject Classification ID

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

Cited In (2)

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

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)