Privacy-Preserving Architectures with Probabilistic Guaranties
Paper i proceeding, 2018

Violations of the privacy of users can happen if data protection is not a fundamental part of the development process of a software system. The principle of Privacy by Design (PbD) therefore stipulates the consideration of privacy as a default feature. We have developed an integrated tool environment called CAPVerDE that provides a formal description language of software architectures and helps a designer by automatically verifying data minimization properties the architectural level. Our logic includes probabilistic properties that introduce uncertainty into the architectures. These properties can be used to model attack scenarios that rely on chance. This paper presents the logic of the description language of CAPVerDE and illustrates the reasoning by applying it to a smart energy metering case study.

data minimization

formal verification

software components

privacy by design


Kai Buvendiek

Technische Universität Hamburg-Harburg (TUHH)

Sibylle Schupp

Technische Universität Hamburg-Harburg (TUHH)

Robin Adams

Chalmers, Data- och informationsteknik, Datavetenskap

2018 16th Annual Conference on Privacy, Security and Trust, PST 2018

978-1-5386-7493-2 (ISBN)

16th Annual Conference on Privacy, Security and Trust, PST 18
Belfast, United Kingdom,


Informations- och kommunikationsteknik


Inbäddad systemteknik

Datavetenskap (datalogi)






Mer information

Senast uppdaterat