Type checking purpose-based privacy policies in the π-calculus
Date
2016Author
Kokkinofta, E.Philippou, Anna
ISSN
0302-9743Source
11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015Volume
9421Pages
122-142Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
In this paper we propose a formal framework for studying privacy preserving policies based on the notion of purpose. Our framework employs the π-calculus with groups accompanied by a type system for capturing privacy requirements. It also incorporates a privacy policy language which captures how different entities within a system, which are distinguished by their roles, may access sensitive information and the purposes for which they are allowed to process the data. We show that a system respects a policy if the typing of the system is compatible with the policy. We illustrate our methodology via analysis of privacy aware services of a health-care system. © Springer International Publishing Switzerland 2016.
Collections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
Conference Object
Linked USDL Privacy: Describing Privacy Policies for Services
Kapitsaki, Georgia; Ioannou, Joseph; Cardoso, Jorge; Pedrinaci, Carlos (2018)As the provision of services and the use of personal data expands, the need for services to explicitly detail what personal data a service handles and in which manner becomes paramount in order to achieve a fully transparent, ...
-
Doctoral Thesis Open Access
Towards Privacy-Aware Usage of Fitness Trackers and Smart Home Devices: Enhancing User Awareness in the GDPR Era Towards Privacy-Aware Usage of Fitness Trackers and Smart Home Devices: Enhancing User Awareness in the GDPR Era
Dini, Alexia A. (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2023-06-09)Η δημοτικότητα των συσκευών Διαδικτύου των Πραγμάτων, όπως οι έξυπνες οικιακές συσκευές και οι συσκευές παρακολούθησης της φυσικής κατάστασης (fitness trackers), έχει προάγει την απόκτηση, την ανταλλαγή και τη διανομή ...
-
Book
Privacy as a problem in the first autobiographical writings of Turkish women in the early 20th century : some observations
Sagaster, Borte (1996)