Compiling symbolic attacks to protocol implementation tests

Hatem Ghabri 1 Ghazi Maatoug 2, 1 Michael Rusinowitch 2
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Résumé : Nous proposons une méthode permettant de transformer des attaques abstraites obtenues par des outils de vérification en scénarios de test exécutables sur des implantations de protocoles.
Type de document :
Communication dans un congrès
Fourth International Symposium on Symbolic Computation in Software Science, Dec 2012, Tunis, Tunisia. 122, 2013, EPTCS. 〈10.4204/EPTCS.122.4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00915320
Contributeur : Michaël Rusinowitch <>
Soumis le : samedi 7 décembre 2013 - 11:32:00
Dernière modification le : mardi 5 juin 2018 - 15:54:03

Lien texte intégral

Identifiants

Citation

Hatem Ghabri, Ghazi Maatoug, Michael Rusinowitch. Compiling symbolic attacks to protocol implementation tests. Fourth International Symposium on Symbolic Computation in Software Science, Dec 2012, Tunis, Tunisia. 122, 2013, EPTCS. 〈10.4204/EPTCS.122.4〉. 〈hal-00915320〉

Partager

Métriques

Consultations de la notice

180