%0 Conference Proceedings
%T Language-Based Mechanisms for Privacy-by-Design
%+ University of Oslo (UiO)
%A Tokas, Shukun
%A Owe, Olaf
%A Ramezanifarkhani, Toktam
%Z Part 3: Language and Privacy
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 14th IFIP International Summer School on Privacy and Identity Management (Privacy and Identity)
%C Windisch, Switzerland
%Y Michael Friedewald
%Y Melek Önen
%Y Eva Lievens
%Y Stephan Krenn
%Y Samuel Fricker
%I Springer International Publishing
%3 Privacy and Identity Management. Data for Better Living: AI and Privacy
%V AICT-576
%P 142-158
%8 2019-08-19
%D 2019
%R 10.1007/978-3-030-42504-3_10
%K Privacy by design
%K Language-based privacy
%K Privacy compliance
%K Static analysis
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 9
%Z TC 11
%Z WG 9.2
%Z WG 9.6
%Z WG 11.7
%Z WG 11.6
%2 https://inria.hal.science/hal-03378971/document
%2 https://inria.hal.science/hal-03378971/file/496005_1_En_10_Chapter.pdf
%L hal-03378971
%U https://inria.hal.science/hal-03378971
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC9
%~ IFIP-TC11
%~ IFIP-WG9-2
%~ IFIP-WG9-6
%~ IFIP-WG11-7
%~ IFIP-WG11-6
%~ IFIP-PRIMELIFE
%~ IFIP-AICT-576