Skip to Main content Skip to Navigation
New interface
Conference papers

Language-Based Mechanisms for Privacy-by-Design

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, October 14, 2021 - 5:48:58 PM
Last modification on : Wednesday, November 3, 2021 - 6:55:36 AM
Long-term archiving on: : Saturday, January 15, 2022 - 7:57:32 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views