Show simple item record

dc.contributor.authorKouzapas, D.en
dc.contributor.authorPhilippou, Annaen
dc.contributor.editorViswanathan M.en
dc.contributor.editorGraf S.en
dc.creatorKouzapas, D.en
dc.creatorPhilippou, Annaen
dc.description.abstractIn 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.en
dc.source35th 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 2015en
dc.subjectInformation disseminationen
dc.subjectDistributed computer systemsen
dc.subjectData privacyen
dc.subjectJava programming languageen
dc.subjectFormal frameworken
dc.subjectPrivacy awareen
dc.subjectPrivacy policiesen
dc.subjectPrivacy requirementsen
dc.subjectType systemsen
dc.subjectInformation collectionsen
dc.subjectPi calculusen
dc.titleType checking privacy policies in the π-calculusen
dc.description.endingpage195 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.description.notes<p>Sponsors: International Federation for Information Processing IFIPen
dc.description.notesConference code: 142519en
dc.description.notesCited By :3</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