CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Specification of Evolving Privacy Policies for Online Social Networks

Raul Pardo Jimenez (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; I. Kellyerova ; C. Sanchez ; Gerardo Schneider
Proceedings 23rd International Symposium on Temporal Representation and Reasoning - Time 2016 p. 70-79. (2016)
[Konferensbidrag, refereegranskat]

Online Social Networks are ubiquitous, bringing not only numerous new possibilities but also big threats and challenges. Privacy is one of them. Most social networks today offer a limited set of (static) privacy settings, not being able to express dynamic policies. For instance, users might decide to protect their location during the night, or share information with difference audiences depending on their current position. In this paper we introduce T FPPF, a formal framework to express, and reason about, dynamic (and recurrent) privacy policies that are activated or deactivated by context (events) or time. Besides a formal policy language (T PPL), the framework includes a knowledge-based logic extended with (linear) temporal operators and a learning modality (T KBL). Policies, and formulae in the logic, are interpreted over (timed) traces representing the evolution of the social network. We prove that checking privacy policy conformance, and the model-checking problem for T KBL, are both decidable.

Nyckelord: LOGIC, Computer Science, Information Systems, Engineering, Electrical &, Electronic

Denna post skapades 2017-01-23. Senast ändrad 2017-02-17.
CPL Pubid: 247626


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)
Institutionen för data- och informationsteknik, datavetenskap (GU) (GU)


Data- och informationsvetenskap

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

Privacy Policies for Social Networks - A Formal Approach