Type checking purpose-based privacy policies in the π-calculus
Source11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015
Google Scholar check
MetadataShow full item record
Showing items related by title, author, creator and subject.
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 ...
Kouzapas, D.; Philippou, Anna (2015)In 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, ...
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 ...