On the runtime enforcement of evolving privacy policies in online social networks
Paper i proceeding, 2016

Online Social Networks have increased the need to understand well and extend the expressiveness of privacy policies. In particular, the need to be able to define and enforce dynamic (and recurrent) policies that are activated or deactivated by context (events) or timeouts. We propose an automaton-based approach to define and enforce such policies using runtime verification techniques. In this paper we discuss how our proposed solution addresses this problem without focussing on concrete technical details.

Run-time verification

On-line social networks

Privacy policies

Runtime enforcements

Technical details


Gordon J. Pace

University of Malta

Raul Pardo Jimenez

Chalmers, Data- och informationsteknik, Programvaruteknik

Gerardo Schneider

Göteborgs universitet

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 9953 407-412


Data- och informationsvetenskap