Sökning: L773:1611 3349 OR L773:0302 9743 OR L773:9783540433538
> (2015-2019) >
Constructing Indepe...
-
Adams, Robin,1978Chalmers tekniska högskola,Chalmers University of Technology
(författare)
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components
- Artikel/kapitelEngelska2018
Förlag, utgivningsår, omfång ...
-
2018-11-24
-
Cham :Springer International Publishing,2018
-
electronicrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:research.chalmers.se:462b86c3-7811-4730-923e-c46b652f4d9c
-
https://research.chalmers.se/publication/506915URI
-
https://research.chalmers.se/publication/504549URI
-
https://doi.org/10.1007/978-3-030-03592-1_11DOI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:kon swepub-publicationtype
-
Ämneskategori:ref swepub-contenttype
Anmärkningar
-
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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Schupp, Sibylle,1964Technische Universität Hamburg-Harburg (TUHH),Technical University of Hamburg (TUHH)(Swepub:cth)schupp
(författare)
-
Chalmers tekniska högskolaTechnische Universität Hamburg-Harburg (TUHH)
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Cham : Springer International Publishing11294, s. 196-2141611-33490302-9743
Internetlänk
Hitta via bibliotek
Till lärosätets databas