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.
Linked USDL Privacy: Describing Privacy Policies for Services 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)
On supporting security and privacy-preserving interaction through adaptive usable security 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 ...