Integrating verification, testing, and learning for cryptographic protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

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.
Fichier principal
Vignette du fichier
2007-IFM.pdf (345.07 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00564231 , version 1 (08-02-2011)

Identifiers

  • HAL Id : inria-00564231 , version 1

Cite

Martin Oostidijk, Vlad Rusu, Jan Tretmans, Rene de Vries, Tim Willemse. Integrating verification, testing, and learning for cryptographic protocols. Integrated Formal Methods, 2007, Oxford, United Kingdom. ⟨inria-00564231⟩
68 View
155 Download

Share

Gmail Facebook X LinkedIn More