OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "Interdisciplinary Centre for Security, Reliability and Trust - SnT (Luxembourg, Luxembourg)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 3.

Article

Asher, Nicholas and Paul, Soumya. Strategic conversations under imperfect information: Epistemic Message Exchange Games. (2018) Journal of Logic, Language and Information, 27 (4). 343-385. ISSN 0925-8531

Avanesov, Tigran and Chevalier, Yannick and Rusinowitch, Michaël and Turuani, Mathieu. Intruder deducibility constraints with negation. Decidability and application to secured service compositions. (2017) Journal of Symbolic Computation, 80 (1). 4-26. ISSN 0747-7171

Avanesov, Tigran and Chevalier, Yannick and Rusinowitch, Michaël and Turuani, Mathieu. Satisfiability of general intruder constraints with and without a set constructor. (2017) Journal of Symbolic Computation, 80 (1). 27-61. ISSN 0747-7171

This list was generated on Wed Oct 28 18:34:07 2020 CET.