- 4
Jean-Claude Royer
4
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 4
- 1
- 3
- 4
Checking Accountability with a Prover39th 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 ApplicationASIA-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 CloudCloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
Chapitre d'ouvrage
hal-01214387v1
|
|
Monitoring accountability policies with AccMon frameworkGDR-GPL, Jun 2016, Besançon, France
Poster de conférence
hal-01332040v1
|