Abstract
In this paper we report on work-in-progress towards defining a formal framework for studying privacy. Our framework is based on the \(\pi \)-calculus with groupsĀ [1] 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. We illustrate the use of our typing system via simple examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The terminology for read and write capabilities is equivalent with input and output terminology.
References
Cardelli, L., Ghelli, G., Gordon, A.D.: Secrecy and group creation. Inf. Comput. 196(2), 127ā155 (2005)
Dardha, O., Giachino, E., Sangiorgi, D.: Session types revisited. In: Proceedings of PPDPā12, pp. 139ā150. ACM, New York (2012)
Kobayashi, N., Pierce, B.C., Turner, D.N.: Linearity and the pi-calculus. ACM Trans. Program. Lang. Syst. 21(5), 914ā947 (1999)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Inf. Comput. 100(1), 1ā77 (1992)
Pierce, B.C., Sangiorgi, D.: Typing and subtyping for mobile processes. Math. Struct. Comput. Sci. 6(5), 409ā453 (1996)
Solove, D.J.: A taxonomy of privacy. Univ. PA Law Rev. 154(3), 477ā560 (2006)
Tschantz, M.C., Wing, J.M.: Formal methods for privacy. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 1ā15. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Kouzapas, D., Philippou, A. (2014). A Typing System for Privacy. In: Counsell, S., NĆŗƱez, M. (eds) Software Engineering and Formal Methods. SEFM 2013. Lecture Notes in Computer Science(), vol 8368. Springer, Cham. https://doi.org/10.1007/978-3-319-05032-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-05032-4_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-05031-7
Online ISBN: 978-3-319-05032-4
eBook Packages: Computer ScienceComputer Science (R0)