Integrating verification, testing, and learning for cryptographic protocols

M.D. Oostdijk, V. Rusu, J. Tretmans, R.G. Vries, de, T.A.C. Willemse

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)
108 Downloads (Pure)


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.
Originele taal-2Engels
TitelProceedings of the 6th International Conference on Integrated Formal Methods (IFM 2007) 2-5 July 2007, Oxford, United Kingdom
RedacteurenJ. Gibbons, J. Davies
Plaats van productieBerlin, Germany
ISBN van geprinte versie978-3-540-73209-9
StatusGepubliceerd - 2007
Evenementconference; IFM 2007, Oxford, United Kingdom; 2007-07-02; 2007-07-05 -
Duur: 2 jul. 20075 jul. 2007

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Congresconference; IFM 2007, Oxford, United Kingdom; 2007-07-02; 2007-07-05
AnderIFM 2007, Oxford, United Kingdom


Duik in de onderzoeksthema's van 'Integrating verification, testing, and learning for cryptographic protocols'. Samen vormen ze een unieke vingerafdruk.

Citeer dit