Automated verification of security protocols and application to services

Michael Rusinowitch 1
1 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 présentons plusieurs résultats en analyse de protocoles de sécurité ainsi que leur application à l'orchestration et à la validation de services sécurisés.
Type de document :
Communication dans un congrès
Hanifa Boucheneb and Francesco Flammini. Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00915323
Contributeur : Michaël Rusinowitch <>
Soumis le : samedi 7 décembre 2013 - 11:38:05
Dernière modification le : jeudi 15 février 2018 - 08:48:14

Identifiants

  • HAL Id : hal-00915323, version 1

Citation

Michael Rusinowitch. Automated verification of security protocols and application to services. Hanifa Boucheneb and Francesco Flammini. Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy. 2013. 〈hal-00915323〉

Partager

Métriques

Consultations de la notice

202