1. Intruder deducibility constraints with negation. Decidability and application to secured service compositions. (May 2017) Authors: Avanesov, Tigran; Chevalier, Yannick; Rusinowitch, Michael; Turuani, Mathieu Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 4 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Parametrized automata simulation and application to service composition. (July 2015) Authors: Belkhir, Walid; Chevalier, Yannick; Rusinowitch, Michael Journal: Journal of symbolic computation Issue: Volume 69(2015) Page Start: 40 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Satisfiability of general intruder constraints with and without a set constructor. (May 2017) Authors: Avanesov, Tigran; Chevalier, Yannick; Rusinowitch, Michael; Turuani, Mathieu Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 27 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗