Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services. (Formal approaches for enforcing access control policies in service oriented architecture based applications)

Michel Embe Jiague. Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services. (Formal approaches for enforcing access control policies in service oriented architecture based applications). PhD thesis, University of Paris-Est, France, 2012. [doi]