Language-Based Mechanisms for Privacy-by-Design - Privacy and Identity Management. Data for Better Living: AI and Privacy
Conference Papers Year : 2020

Language-Based Mechanisms for Privacy-by-Design

Shukun Tokas
  • Function : Author
  • PersonId : 1104885
Olaf Owe
  • Function : Author
  • PersonId : 1104886
Toktam Ramezanifarkhani
  • Function : Author
  • PersonId : 1113508

Abstract

The privacy by design principle has been applied in system engineering. In this paper, we follow this principle, by integrating necessary safeguards into the program system design. These safeguards are then used in the processing of personal information. In particular, we use a formal language-based approach with static analysis to enforce privacy requirements. To make a general solution, we consider a high-level modeling language for distributed service-oriented systems, building on the paradigm of active objects. The language is then extended to support specification of policies on program constructs and policy enforcement. For this we develop (i) language constructs to formally specify privacy restrictions, thereby obtaining a policy definition language, (ii) a formal notion of policy compliance, and (iii) a type and effect system for enforcing and analyzing a program’s compliance with the stated polices.
Fichier principal
Vignette du fichier
496005_1_En_10_Chapter.pdf (490.25 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03378971 , version 1 (14-10-2021)

Licence

Identifiers

Cite

Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani. Language-Based Mechanisms for Privacy-by-Design. 14th IFIP International Summer School on Privacy and Identity Management (Privacy and Identity), Aug 2019, Windisch, Switzerland. pp.142-158, ⟨10.1007/978-3-030-42504-3_10⟩. ⟨hal-03378971⟩
57 View
49 Download

Altmetric

Share

More