Data minimisation: A language-based approach
Paper i proceeding, 2017

Data minimisation is a privacy-enhancing principle considered as one of the pillars of personal data regulations. This principle dictates that personal data collected should be no more than necessary for the specific purpose consented by the user. In this paper we study data minimisation from a programming language perspective. We define a data minimiser as a pre-processor for the input which reduces the amount of information available to the program without compromising its functionality. We give its formal definition and provide a procedure to synthesise a correct data minimiser for a given program.

Författare

Thibaud Antignac

Chalmers, Data- och informationsteknik

David Sands

Chalmers, Data- och informationsteknik, Datavetenskap

Gerardo Schneider

Göteborgs universitet

IFIP Advances in Information and Communication Technology

1868-4238 (ISSN) 1868-422X (eISSN)

Vol. 502 442-456

2nd International Conference on ICT Systems Security and Privacy Protection, IFIP SEC 2017,
Rome, Italy,

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1007/978-3-319-58469-0_30

Mer information

Senast uppdaterat

2021-07-05