Skip to Main content Skip to Navigation
Conference papers

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 (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Document type :
Conference papers
Complete list of metadatas
Contributor : Michaël Rusinowitch <>
Submitted on : Monday, November 1, 2010 - 11:30:17 AM
Last modification on : Wednesday, September 16, 2020 - 10:43:02 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