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, ...
-
Book
Privacy as a problem in the first autobiographical writings of Turkish women in the early 20th century : some observations
Sagaster, Borte (1996)
-
Article
On supporting security and privacy-preserving interaction through adaptive usable security
Belk, Marios; Fidas, Christos A.; Germanakos, Panagiotis; Samaras, George S. (2014)The purpose of this paper is to propose a preliminary framework for supporting usable security on the World Wide Web through adaptivity in user interface designs. In particular we elaborate the concept of "Adaptive Usable ...