Integrating Verification, Testing, and Learning for Cryptographic Protocols

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

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

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)

Cited In (1)

• A Testing Theory for a Higher-Order Cryptographic Language

Uses Software

• Casper

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Three systems for cryptographic protocol analysis 👍 👎
• Title not available (Why is that?) 👍 👎
• Verified interoperable implementations of security protocols 👍 👎

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)