A Formal Framework for Consent Management - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

A Formal Framework for Consent Management

Shukun Tokas
  • Function : Author
  • PersonId : 1104885
Olaf Owe
  • Function : Author
  • PersonId : 1104886


The aim of this work is to design a formal framework for consent management in line with EU’s General Data Protection Regulation (GDPR). To make a general solution, we consider a high-level modeling language for distributed service-oriented systems, building on the paradigm of active objects. Our framework provides a general solution for data subjects to observe and change their privacy settings and to be informed about all personal data stored about them. The solution consists of a set of predefined types for privacy related concepts, a formalization of policy compliance, a set of interfaces that forms the basis of interaction with external users for consent management, a set of classes that is used in interaction with the runtime system, and a runtime system enforcing the consented policies.
Fichier principal
Vignette du fichier
495615_1_En_10_Chapter.pdf (496.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03283231 , version 1 (09-07-2021)





Shukun Tokas, Olaf Owe. A Formal Framework for Consent Management. 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.169-186, ⟨10.1007/978-3-030-50086-3_10⟩. ⟨hal-03283231⟩
42 View
4 Download



Gmail Facebook Twitter LinkedIn More