Show simple item record

Type checking privacy policies in the π-calculus

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.date.accessioned2019-11-13T10:40:48Z
dc.date.available2019-11-13T10:40:48Z
dc.date.issued2015
dc.identifier.issn0302-9743
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54301
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.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84942549205&doi=10.1007%2f978-3-319-19195-9_12&partnerID=40&md5=17f6e2be59b590540c2da323a06df6f3
dc.subjectInformation disseminationen
dc.subjectCalculationsen
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.subjectTypecheckingen
dc.titleType checking privacy policies in the π-calculusen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1007/978-3-319-19195-9_12
dc.description.volume9039
dc.description.startingpage181
dc.description.endingpage195
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
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

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record