Publications de
Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Orchestration under Security Constraints (regular paper)
Dans : Formal Methods for Components and Objects, Graz, Austria, 29/11/10-01/12/10, Vol. 6957, Bernhard Aichernig, Frank de Boer, Marcello Bonsangue (Eds.), Springer, LNCS, p. 23-44, mai 2012.
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani
Distributed Orchestration of Web Services under Security Constraints (regular paper)
Dans : DTM-SETOP, Leeuwen, Belgique, 15/09/11-16/09/11, Vol. 7122, J. Garcia-Alfaro, Nora Bouhoulia-Cuppens, Sabrina De Capitani di Vim. (Eds.), Springer, LNCS, p. 235-252, septembre 2011.
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Web Services Verification and Prudent Implementation (regular paper)
Dans : DTM-SETOP, Leeuwen, Belgique, 15/09/11-16/09/11, Vol. 7122, J. Garcia-Alfaro, Nora Cuppens-Boulahia, Sabrina De Capitani di Vim. (Eds.), Springer, LNCS, p. 173-189, septembre 2011.
Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Automatic Composition of Web Services with Security Policies (regular paper)
Dans : Service computing, Context-aware, Location aware and Positioning techniques – Worksop at International Conference on New Technologies, Mobility and Security (NTMS 2011) (SCLP 2008), Honolulu, 05/07/08-10/07/08, IEEE : Institute of Electrical and Electronics Engineers, Services I, p. 529-537, 2010.