Publisher DOI: 10.1109/PST.2018.8514160
Title: Privacy-Preserving Architectures with Probabilistic Guaranties
Language: English
Authors: Bavendiek, Kai 
Adams, Robin 
Schupp, Sibylle 
Issue Date: 29-Oct-2018
Source: 2018 16th Annual Conference on Privacy, Security and Trust, PST 2018: 1-10 (2018-10-29)
Journal or Series Name: 16th Annual Conference on Privacy, Security and Trust, PST 2018 
Abstract (english): 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. © 2018 IEEE.
URI: http://hdl.handle.net/11420/2289
ISBN: 978-153867493-2
ISSN: undefined
Institute: Softwaresysteme E-16 
Type: InProceedings (Aufsatz / Paper einer Konferenz etc.)
Appears in Collections:Publications without fulltext

Show full item record

Page view(s)

19
Last Week
1
Last month
checked on May 23, 2019

Google ScholarTM

Check

Export

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