Integrating verification testing and learning for cryptographic protocols
conference paper
The verification of cryptographic protocol specifications is an active research topic and has received much attention from the formal verification community. By contrast, the black-box testing of actual implementations of protocols, which is, arguably, as important as verification for ensuring the correct functioning of protocols in the “real” world, is little studied. We propose an approach for checking secrecy and authenticity properties not only on protocol specifications, but also on black-box implementations. The approach is compositional and integrates ideas from verification, testing, and learning. It is illustrated on the Basic Access Control protocol implemented in biometric passports.
Topics
TNO Identifier
953938
ISSN
03029743
ISBN
3540732098
Publisher
Springer Verlag
Source title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6th International Conference on Integrated Formal Methods, IFM 2007, 2 July 2007 through 5 July 2007
Pages
538-557
Files
To receive the publication files, please send an e-mail request to TNO Repository.