dc.contributor.author | Kouzapas, D. | en |
dc.contributor.author | Philippou, Anna | en |
dc.creator | Kouzapas, D. | en |
dc.creator | Philippou, Anna | en |
dc.date.accessioned | 2019-11-13T10:40:48Z | |
dc.date.available | 2019-11-13T10:40:48Z | |
dc.date.issued | 2014 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54302 | |
dc.description.abstract | 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. | en |
dc.source | 11th International Conference on Software Engineering and Formal Methods, SEFM 2013 - Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84901649713&doi=10.1007%2f978-3-319-05032-4_5&partnerID=40&md5=4762f668f299756b31eab859e0ed0c10 | |
dc.subject | Information dissemination | en |
dc.subject | Data processing | en |
dc.subject | Software engineering | en |
dc.subject | Formal framework | en |
dc.subject | Type systems | en |
dc.subject | Information collections | en |
dc.subject | Typing systems | en |
dc.subject | Work-in-progress | en |
dc.title | A typing system for privacy | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/978-3-319-05032-4_5 | |
dc.description.volume | 8368 LNCS | en |
dc.description.startingpage | 56 | |
dc.description.endingpage | 68 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: | en |
dc.description.notes | Conference code: 105307 | en |
dc.description.notes | Cited By :2</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |