Publisher DOI: 10.1007/978-3-030-03592-1_11
Title: Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components
Language: English
Authors: Adams, Robin 
Schupp, Sibylle 
Issue Date: 2018
Publisher: Springer
Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (11294 LNCS): 196-214 (2018-01-01)
Part of Series: Lecture notes in computer science 
Volume number: 11294 LNCS
Abstract (english): 
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.
Conference: Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018 
ISBN: 978-3-030-03592-1
ISSN: 0302-9743
Institute: Softwaresysteme E-16 
Document Type: Chapter/Article (Proceedings)
Appears in Collections:Publications without fulltext

Show full item record

Page view(s)

Last Week
Last month
checked on Sep 27, 2021


Last Week
Last month
checked on Sep 25, 2021

Google ScholarTM


Add Files to Item

Note about this record

Cite this record


Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.