Type checking privacy policies in the π-calculus
Date
2015Author
Kouzapas, D.Philippou, Anna
ISSN
0302-9743Source
35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015Volume
9039Pages
181-195Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
In this paper we propose a formal framework for studying privacy. Our framework is based on the π -calculus with groups accompanied by a type system for capturing privacy requirements relating to information collection, information processing and information dissemination. The framework incorporates a privacy policy language. We show that a system respects a privacy policy if the typing of the system is compatible with the policy. We illustrate our methodology via analysis of privacy-aware schemes proposed for electronic traffic pricing. © IFIP International Federation for Information Processing 2015.
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 ...