Integrating verification, testing, and learning for cryptographic protocols

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
73 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of the 6th International Conference on Integrated Formal Methods (IFM 2007) 2-5 July 2007, Oxford, United Kingdom
EditorsJ. Gibbons, J. Davies
Place of PublicationBerlin, Germany
PublisherSpringer
Pages538-557
ISBN (Print)978-3-540-73209-9
DOIs
Publication statusPublished - 2007
Eventconference; IFM 2007, Oxford, United Kingdom; 2007-07-02; 2007-07-05 -
Duration: 2 Jul 20075 Jul 2007

Publication series

NameLecture Notes in Computer Science
Volume4591
ISSN (Print)0302-9743

Conference

Conferenceconference; IFM 2007, Oxford, United Kingdom; 2007-07-02; 2007-07-05
Period2/07/075/07/07
OtherIFM 2007, Oxford, United Kingdom

Fingerprint

Dive into the research topics of 'Integrating verification, testing, and learning for cryptographic protocols'. Together they form a unique fingerprint.

Cite this