Deciding key cycles for security protocols

Véronique Cortier 1 Eugen Zalinescu 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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Communication dans un congrès
Proc. of the 13th Int. Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06), Nov 2006, Phnom Penh, Cambodia, 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00108387
Contributeur : Véronique Cortier <>
Soumis le : vendredi 20 octobre 2006 - 16:06:21
Dernière modification le : vendredi 6 juillet 2018 - 15:06:09

Identifiants

  • HAL Id : inria-00108387, version 1

Citation

Véronique Cortier, Eugen Zalinescu. Deciding key cycles for security protocols. Proc. of the 13th Int. Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06), Nov 2006, Phnom Penh, Cambodia, 2006. 〈inria-00108387〉

Partager

Métriques

Consultations de la notice

105