Satisfiability of General Intruder Constraints with a Set Constructor

Tigran Avanesov 1 Yannick Chevalier 2 Michael Rusinowitch 1 Mathieu Turuani 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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Communication dans un congrès
The Fifth International Conference on Risks and Security of Internet and Systems - CRiSIS 2010, Oct 2010, Montreal, Canada. 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00531025
Contributeur : Michaël Rusinowitch <>
Soumis le : lundi 1 novembre 2010 - 11:30:17
Dernière modification le : mercredi 23 mai 2018 - 17:58:06

Identifiants

  • HAL Id : inria-00531025, version 1

Citation

Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani. Satisfiability of General Intruder Constraints with a Set Constructor. The Fifth International Conference on Risks and Security of Internet and Systems - CRiSIS 2010, Oct 2010, Montreal, Canada. 2010. 〈inria-00531025〉

Partager

Métriques

Consultations de la notice

236