Items where Laboratory is "Interdisciplinary Centre for Security, Reliability and Trust - SnT (Luxembourg, Luxembourg)"
Group by: Item Type | No Grouping Jump to: Article Number of items: 3. ArticleAsher, 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 |