On the runtime enforcement of evolving privacy policies in online social networks
Paper in 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, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Gerardo Schneider

University of Gothenburg

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 9953 407-412
978-331947168-6 (ISBN)

Subject Categories

Computer and Information Science





More information