Privacy-Preserving Architectures with Probabilistic Guaranties | IEEE Conference Publication | IEEE Xplore

Privacy-Preserving Architectures with Probabilistic Guaranties


Abstract:

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 De...Show More

Abstract:

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 at the architectural level. Our logic includes probabilistic properties that introduce uncer- tainty 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 verification process by applying it to a smart energy metering scenario.
Date of Conference: 28-30 August 2018
Date Added to IEEE Xplore: 01 November 2018
ISBN Information:
Conference Location: Belfast, Ireland

Contact IEEE to Subscribe

References

References is not available for this document.