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.
Kapitsaki, Georgia; Ioannou, Joseph; Cardoso, Jorge; Pedrinaci, Carlos (2018)As the provision of services and the use of personal data expands, the need for services to explicitly detail what personal data a service handles and in which manner becomes paramount in order to achieve a fully transparent, ...
Privacy as a problem in the first autobiographical writings of Turkish women in the early 20th century : some observations Sagaster, Borte (1996)
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 ...