Number of documents

3

Hervé Grall, DAPI, IMT Atlantique


Personal page


2015   

Conference papers2 documents

  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Checking Accountability with a Prover. 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, ⟨10.1109/COMPSAC.2015.8⟩. ⟨hal-01214360⟩
  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami. Abstract Accountability Language: Translation, Compliance and Application. ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India. ⟨hal-01214365⟩

Book sections1 document

  • Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, et al.. From Regulatory Obligations to Enforceable Accountability Policies in the Cloud. Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015. ⟨hal-01214387⟩