dc.contributor.author | Kokkinofta, E. | en |
dc.contributor.author | Philippou, Anna | en |
dc.contributor.editor | Ravara A. | en |
dc.contributor.editor | Hildebrandt T. | en |
dc.contributor.editor | Weidlich M. | en |
dc.contributor.editor | van der Werf J.M. | en |
dc.creator | Kokkinofta, E. | en |
dc.creator | Philippou, Anna | en |
dc.date.accessioned | 2019-11-13T10:40:44Z | |
dc.date.available | 2019-11-13T10:40:44Z | |
dc.date.issued | 2016 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54272 | |
dc.description.abstract | 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. | en |
dc.source | 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 2015 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84964793106&doi=10.1007%2f978-3-319-33612-1_8&partnerID=40&md5=5f7232f3a94bf05ef05360de08962028 | |
dc.subject | Websites | en |
dc.subject | Calculations | en |
dc.subject | Data privacy | en |
dc.subject | Privacy preserving | en |
dc.subject | Java programming language | en |
dc.subject | Web services | en |
dc.subject | Formal framework | en |
dc.subject | Formal methods | en |
dc.subject | Health-care system | en |
dc.subject | Privacy aware | en |
dc.subject | Privacy policies | en |
dc.subject | Privacy requirements | en |
dc.subject | Sensitive informations | en |
dc.subject | Type systems | en |
dc.title | Type checking purpose-based privacy policies in the π-calculus | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/978-3-319-33612-1_8 | |
dc.description.volume | 9421 | |
dc.description.startingpage | 122 | |
dc.description.endingpage | 142 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: | en |
dc.description.notes | Conference code: 173979</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |