@inproceedings{4113bab9d0c84865b75df4f7f176ec5b,
title = "Integrating verification, testing, and learning for cryptographic protocols",
abstract = "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.",
author = "M.D. Oostdijk and V. Rusu and J. Tretmans and {Vries, de}, R.G. and T.A.C. Willemse",
year = "2007",
doi = "10.1007/978-3-540-73210-5_28",
language = "English",
isbn = "978-3-540-73209-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "538--557",
editor = "J. Gibbons and J. Davies",
booktitle = "Proceedings of the 6th International Conference on Integrated Formal Methods (IFM 2007) 2-5 July 2007, Oxford, United Kingdom",
address = "Germany",
note = "conference; IFM 2007, Oxford, United Kingdom; 2007-07-02; 2007-07-05 ; Conference date: 02-07-2007 Through 05-07-2007",
}