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
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 UT3 - Université Toulouse III - Paul Sabatier

Domaines: Logique en informatique [cs.LO]

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⟩