dc.contributor.author | Vanezi, Evangelia | en |
dc.contributor.author | Kapitsaki, Georgia | en |
dc.contributor.author | Kouzapas, Dimitrios | en |
dc.contributor.author | Philippou, Anna | en |
dc.coverage.spatial | Heraklion, Crete, Greece | en |
dc.creator | Vanezi, Evangelia | en |
dc.creator | Kapitsaki, Georgia | en |
dc.creator | Kouzapas, Dimitrios | en |
dc.creator | Philippou, Anna | en |
dc.date.accessioned | 2021-01-22T10:47:39Z | |
dc.date.available | 2021-01-22T10:47:39Z | |
dc.date.issued | 2019 | |
dc.identifier.isbn | 978-989-758-375-9 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/62369 | |
dc.description.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. | en |
dc.publisher | SCITEPRESS - Science and Technology Publications, Lda | en |
dc.source | Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering | en |
dc.source.uri | https://doi.org/10.5220/0007722900680079 | |
dc.title | A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.5220/0007722900680079 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.contributor.orcid | Kapitsaki, Georgia [0000-0003-3742-7123] | |
dc.gnosis.orcid | 0000-0003-3742-7123 | |