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)
75 Downloads (Pure)

Samenvatting

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
UitgeverijSpringer
Pagina's538-557
ISBN van geprinte versie978-3-540-73209-9
DOI's
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
Volume4591
ISSN van geprinte versie0302-9743

Congres

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

Vingerafdruk

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

Citeer dit