Kouzapas, D. and Philippou, A. (2015) Type Checking Privacy Policies in the π-calculus. In: 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, 2-4 Jun 2015, pp. 181-195. ISBN 9783319191942 (doi: 10.1007/978-3-319-19195-9_12)
Full text not currently available from Enlighten.
Abstract
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-related notions. The typing system we propose combines a number of concepts from the literature: it includes the use of groups to enable reasoning about information collection, it builds on read/write capabilities to control information processing, and it employs type linearity to restrict information dissemination. Furthermore, we associate our framework with a privacy policy language and we prove that if a system is well-typed according to a typing that is compatible with a policy then the system respects the policy.
Item Type: | Conference Proceedings |
---|---|
Additional Information: | Lecture Notes in Computer Science: 9039 |
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Kouzapas, Mr Dimitrios |
Authors: | Kouzapas, D., and Philippou, A. |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software |
College/School: | College of Science and Engineering > School of Computing Science |
ISBN: | 9783319191942 |
Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record