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

Author/Creator Rusinowitch, Michael

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. Model‐based mutation testing from security protocols in HLPSL. (29th April 2014)

Authors:: Dadeau, Frédéric; Héam, Pierre‐Cyrille; Kheddam, Rafik; Maatoug, Ghazi; Rusinowitch, Michael
Other Names:: Jia Yue guestEditor.; Merayo Mercedes guestEditor.; Harman Mark guestEditor.
Journal:: Software testing, verification & reliability
Issue:: Volume 25:Number 5/7(2015)
Page Start:: 684
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

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

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