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
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00531025
Contributor : Michaël Rusinowitch <>
Submitted on : Monday, November 1, 2010 - 11:30:17 AM
Last modification on : Thursday, June 27, 2019 - 4:27:42 PM

Identifiers

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

Share

Metrics

Record views

346