Download PDFOpen PDF in browser

Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components

EasyChair Preprint no. 425

18 pagesDate: August 13, 2018

Abstract

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.

Keyphrases: Architecture, formal methods, General Data Protection Regulation, Privacy by Design, Privacy constraint, privacy policy, privacy property, privacy safe, safe architecture, type system, type systems, type theory

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:425,
  author = {Robin Adams and Sibylle Schupp},
  title = {Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components},
  howpublished = {EasyChair Preprint no. 425},
  doi = {10.29007/xl9h},
  year = {EasyChair, 2018}}
Download PDFOpen PDF in browser