Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components
Paper i proceeding, 2018

Privacy by design (PbD) is the principle that privacy should be considered at every stage of the software engineering process. It is increasingly both viewed as best practice and required by law. It is therefore desirable to have formal methods that provide guarantees that certain privacy-relevant properties hold. We propose an approach that can be used to design a privacy-compliant architecture without needing to know the source code or internal structure of any individual component.

We model an architecture as a set of agents or components that pass messages to each other. We present in this paper algorithms that take as input an architecture and a set of privacy constraints, and output an extension of the original architecture that satisfies the privacy constraints.

Privacy constraint

type systems

privacy property

privacy policy

Architecture

privacy safe

General Data Protection Regulation

formal methods

type system

safe architecture

Privacy by Design

type theory

Författare

Robin Adams

Chalmers, Data- och informationsteknik, Datavetenskap

Sibylle Schupp

Technische Universität Hamburg-Harburg (TUHH)

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 11294 196-214

10th Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018
Oxford, United Kingdom,

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

DOI

10.1007/978-3-030-03592-1_11

Mer information

Senast uppdaterat

2018-12-07