loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Evangelia Vanezi ; Georgia M. Kapitsaki ; Dimitrios Kouzapas and Anna Philippou

Affiliation: Department of Computer Science, University of Cyprus, Nicosia and Cyprus

Keyword(s): GDPR, Privacy Protection, π-calculus, Static Analysis, Privacy by Design.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Service-Oriented Software Engineering and Management ; Simulation and Modeling ; Software and Systems Development Methodologies ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: Since the adoption of the EU General Data Protection Regulation (GDPR) in May 2018, designing software systems that conform to the GDPR principles has become vital. Modeling languages can be a facilitator for this process, following the principles of model-driven development. In this paper, we present our work on the usage of a π-calculus-based language for modeling and reasoning about the GDPR provisions of 1) lawfulness of processing by providing consent, 2) consent withdrawal, and 3) right to erasure. A static analysis method based on type checking is proposed to validate that a model conforms to associated privacy requirements. This is the first step towards a rigorous Privacy-By-Design methodology for analyzing and validating a software system model against the GDPR. A use case is presented to discuss and illustrate the framework.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.91.43.22

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Vanezi, E.; Kapitsaki, G.; Kouzapas, D. and Philippou, A. (2019). A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-375-9; ISSN 2184-4895, SciTePress, pages 68-79. DOI: 10.5220/0007722900680079

@conference{enase19,
author={Evangelia Vanezi. and Georgia M. Kapitsaki. and Dimitrios Kouzapas. and Anna Philippou.},
title={A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2019},
pages={68-79},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007722900680079},
isbn={978-989-758-375-9},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR
SN - 978-989-758-375-9
IS - 2184-4895
AU - Vanezi, E.
AU - Kapitsaki, G.
AU - Kouzapas, D.
AU - Philippou, A.
PY - 2019
SP - 68
EP - 79
DO - 10.5220/0007722900680079
PB - SciTePress