Accéder directement au contenu

Jean-Claude Royer

4
Documents

Publications

95124

Checking Accountability with a Prover

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami
39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, ⟨10.1109/COMPSAC.2015.8⟩
Communication dans un congrès hal-01214360v1

Abstract Accountability Language: Translation, Compliance and Application

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami
ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India
Communication dans un congrès hal-01214365v1

From Regulatory Obligations to Enforceable Accountability Policies in the Cloud

Walid Benghabrit , Hervé Grall , Jean-Claude Royer , Mohamed Sellami , Monir Azraoui
Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
Chapitre d'ouvrage hal-01214387v1