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

Author/Creator Chevalier, Yannick

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