Show simple item record

dc.contributor.authorKouzapas, D.en
dc.contributor.authorPhilippou, Annaen
dc.creatorKouzapas, D.en
dc.creatorPhilippou, Annaen
dc.description.abstractIn 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.en
dc.source11th International Conference on Software Engineering and Formal Methods, SEFM 2013 - Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCerten
dc.subjectInformation disseminationen
dc.subjectData processingen
dc.subjectSoftware engineeringen
dc.subjectFormal frameworken
dc.subjectType systemsen
dc.subjectInformation collectionsen
dc.subjectTyping systemsen
dc.titleA typing system for privacyen
dc.description.volume8368 LNCSen
dc.description.endingpage68 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.description.notesConference code: 105307en
dc.description.notesCited By :2</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record