Author/Creator: Turuani, Mathieu - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Turuani, Mathieu

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. 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) ↗