Skip to Main content Skip to Navigation
New interface
Conference papers

Satisfiability of General Intruder Constraints with a Set Constructor

Tigran Avanesov 1 Yannick Chevalier 2, 3 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 (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Document type :
Conference papers
Complete list of metadata
Contributor : Michaël Rusinowitch Connect in order to contact the contributor
Submitted on : Monday, November 1, 2010 - 11:30:17 AM
Last modification on : Monday, July 4, 2022 - 10:23:43 AM


  • HAL Id : inria-00531025, version 1


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. ⟨inria-00531025⟩



Record views