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 (UMR 6174), 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 : mercredi 12 septembre 2018 - 17:46:02

Lien texte intégral

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

157