Privacy-Preserving Architectures with Probabilistic Guaranties

Bavendiek, Kai; Adams, Robin; Schupp, Sibylle

doi:10.1109/pst.2018.8514160

Cited by 3 publications

(4 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For this paper we have enhanced the CAPVerDE formal verification language by adding syntax and semantics for defining purpose limitation. In the following sections we will focus on our additions rather than the basics, which are explained in [3], and hence give only a brief description of the necessary syntax and new semantics.…”

Section: Capverdementioning

confidence: 99%

“…Table 1 shows the relevant syntax of the architecture language. Again, we refer to [3] for more details.…”

Section: Syntaxmentioning

confidence: 99%

“…The semantics of the original properties including soundness and completeness proofs can be found in the mentioned general paper [3]. Here we present the semantics of the purpose limitation property notPurp i :…”

Section: Semanticsmentioning

confidence: 99%

See 2 more Smart Citations

Automatically Proving Purpose Limitation in Software Architectures

Bavendiek

Mueller

Wittner

et al. 2019

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

The principle of purpose limitation is one of the corner stones in the European General Data Protection Regulation. Automatically verifying whether a software architecture is capable of collecting, storing, or otherwise processing data without a predefined, precise, and valid purpose, and more importantly, whether the software architecture allows for re-purposing the data, greatly helps designers, makers, auditors, and customers of software. In our case study, we model the architecture of an existing medical register that follows a rigid Privacy by Design approach and assess its capability to process data only for the defined purposes. We demonstrate the process by verifying one instance that satisfies purpose limitation and two that are at least critical cases. We detect a violation scenario where data belonging to a purpose-specific consent are passed on for a different and maybe even incompatible purpose.

show abstract

Section: Capverdementioning

confidence: 99%

“…Table 1 shows the relevant syntax of the architecture language. Again, we refer to [3] for more details.…”

Section: Syntaxmentioning

confidence: 99%

See 1 more Smart Citation

Automatically Proving Purpose Limitation in Software Architectures

Bavendiek

Mueller

Wittner

et al. 2019

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

show abstract

“…In recent years, research efforts stem from different research communities, including cybersecurity and software engineering, and different perspectives, including legal and technological. For example, some contributions pursue detecting vulnerabilities or deficiency in software systems that potentially may threaten a privacy aspect (Bavendiek et al, 2018;Jain et al, 2017), verifying that software systems meet a specification Yu et al, 2018), understanding the risk posed by software systems (Rahman et al, 2017;Zhang et al, 2018), or validating individuals' preferences and expectations (Ayalon et al, 2019). Consequently, it has resulted in a growing body of knowledge spread across a variety of domains.…”

Section: Current Statementioning

confidence: 99%

Contribution to Software Quality Control Techniques for Assessing Privacy and Data Protection

Loachamín¹

View full text Add to dashboard Cite

Son muchas las personas que han contribuido y que han hecho posible que pueda escribir estas líneas en este momento. Han sido años muy intensos, de mucho aprendizaje, y quiero agradecerles infinitamente por todo el apoyo recibido.Chema, siempre recuerdo tus palabras ante mi primera crisis en el doctorado (apenas a siete meses de empezarlo :-D): "no pienses solo en lo que te queda por hacer, mira hacia atrás, mira lo que has conseguido". Gracias por todas tus palabras de aliento, por tu confianza, apoyo y orientación que han hecho posible finalizar este trabajo.Al grupo de investigación, muchas gracias por su apoyo durante mis estudios de doctorado. Lucas, Ana, Esperanza y Belén, muchas gracias por todo su soporte. Samuel, siempre que surge una oportunidad contamos como anécdota lo de los "microyods" y de alguien que lo sabe ¡casi todo! Gracias, contigo siempre se aprendía algo nuevo.Julio César y Juanito, les agradezco porque han estado en los buenos momentos (los cafetitos, las "filosofadas", las alitas, las salidas, …), pero sobre todo les agradezco infinitamente porque han estado en los momentos no tan buenos ¡de corazón, gracias! Amigos, ustedes son unos cracks, a quienes admiro y de quienes he aprendido y seguro seguiré aprendiendo un montón de cosas.Gracias también a mis amigos JuanK, Lily, Nao, Esteban, Leo, Andrés, Pául, Moni, Marco y Jacky las reuniones y conversas hicieron más llevadera la distancia :). Lily, Esteban y Sonia, gracias por el tiempo y cariño a mi peque.Given the multidisciplinary nature of some of the studies in this thesis, national and international researchers have collaborated in elaborating these contributions. These collaborations have been performed in the context of national and international research projects and a research stay in a prestigious institution. In addition, these contributions have been validated via publications in relevant journals and conferences. v ContentsResumen .

show abstract