A typing system for privacy
Date
2014Author
Kouzapas, D.Philippou, Anna
ISSN
0302-9743Source
11th International Conference on Software Engineering and Formal Methods, SEFM 2013 - Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCertVolume
8368 LNCSPages
56-68Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
In this paper we report on work-in-progress towards defining a formal framework for studying privacy. Our framework is based on the π-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. © 2014 Springer International Publishing.