Verifying Cryptographic Protocols with Subterms Constraints

Yannick Chevalier 1 Denis Lugiez 2 Michael Rusinowitch 3
3 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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Nous étudions les protocoles utilisant une opération d'extraction de sous-message par filtrage, utilisée par exemple dans les web-services et proposons une procédure de détection des attaques par réécriture pour ces protocoles.
Type de document :
Communication dans un congrès
Dershowitz, Nachum and Voronkov, Andrei. 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR 2007, Oct 2007, Yerevan, Armenia. Springer, 4790, pp.181-195, 2007, Lecture Notes in Artificial Intelligence. 〈10.1007/978-3-540-75560-9_15〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00557710
Contributeur : Michaël Rusinowitch <>
Soumis le : mercredi 19 janvier 2011 - 17:48:49
Dernière modification le : jeudi 18 janvier 2018 - 02:07:41

Identifiants

Citation

Yannick Chevalier, Denis Lugiez, Michael Rusinowitch. Verifying Cryptographic Protocols with Subterms Constraints. Dershowitz, Nachum and Voronkov, Andrei. 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR 2007, Oct 2007, Yerevan, Armenia. Springer, 4790, pp.181-195, 2007, Lecture Notes in Artificial Intelligence. 〈10.1007/978-3-540-75560-9_15〉. 〈inria-00557710〉

Partager

Métriques

Consultations de la notice

118