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.
Type de document :
Communication dans un congrès
Integrated Formal Methods, 2007, Oxford, United Kingdom. 2007
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00564231
Contributeur : Mister Dart <>
Soumis le : mardi 8 février 2011 - 15:29:53
Dernière modification le : mercredi 11 avril 2018 - 01:55:00
Document(s) archivé(s) le : mardi 6 novembre 2012 - 13:40:25

Fichier

2007-IFM.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00564231, version 1

Collections

Citation

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. 2007. 〈inria-00564231〉

Partager

Métriques

Consultations de la notice

223

Téléchargements de fichiers

150