Type checking privacy policies in the π-calculus
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 2015
Google Scholar check
MetadataShow full item record
Showing items related by title, author, creator and subject.
Kokkinofta, E.; Philippou, Anna (2016)In this paper we propose a formal framework for studying privacy preserving policies based on the notion of purpose. Our framework employs the π-calculus with groups accompanied by a type system for capturing privacy ...
Lioudakis, Georgios V.; Delias, Nikolaos L.; Koutsoloukas, Eleftherios A.; Kapitsaki, Georgia M.; Kaklamani, Dimitra I.; Venieris, Iakovos St (2008)The issue of privacy is constantly brought to the spotlight since an ever increasing number of services collects and processes personal information from users. In fact, recent advances in mobile communications, location ...
Belk, Marios; Fidas, Christos A.; Germanakos, Panagiotis; Samaras, George S. (2014)The purpose of this paper is to propose a preliminary framework for supporting usable security on the World Wide Web through adaptivity in user interface designs. In particular we elaborate the concept of "Adaptive Usable ...