Automated Verification of Security Protocols and Services

Michaël 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 (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation, Jul 2014, Vienna, Austria
Liste complète des métadonnées

https://hal.inria.fr/hal-01090000
Contributeur : Michaël Rusinowitch <>
Soumis le : mardi 2 décembre 2014 - 16:59:38
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

  • HAL Id : hal-01090000, version 1

Citation

Michaël Rusinowitch. Automated Verification of Security Protocols and Services. Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation, Jul 2014, Vienna, Austria. 〈hal-01090000〉

Partager

Métriques

Consultations de la notice

184