Towards an Automatic Analysis of Web Service Security

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 introduisons un modèle abstrait des services web qui permet d'exprimer les attaques par réécriture. Nous proposons un algorithme pour détecter ce type de vulnérabilité.
Type de document :
Communication dans un congrès
Konev, Boris and Wolter, Franck. 6th International Symposium on Frontiers of Combining Systems - FroCoS'07, Sep 2007, Liverpool, United Kingdom. Springer, 4720, pp.133-147, 2007, Lecture Notes in Artificial Intelligence. 〈10.1007/978-3-540-74621-8_9〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00557707
Contributeur : Michaël Rusinowitch <>
Soumis le : mercredi 19 janvier 2011 - 17:38:00
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02

Identifiants

Citation

Yannick Chevalier, Denis Lugiez, Michael Rusinowitch. Towards an Automatic Analysis of Web Service Security. Konev, Boris and Wolter, Franck. 6th International Symposium on Frontiers of Combining Systems - FroCoS'07, Sep 2007, Liverpool, United Kingdom. Springer, 4720, pp.133-147, 2007, Lecture Notes in Artificial Intelligence. 〈10.1007/978-3-540-74621-8_9〉. 〈inria-00557707〉

Partager

Métriques

Consultations de la notice

185