On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9953)


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.



This research has been supported by: the Swedish funding agency SSF under the grant Data Driven Secure Business Intelligence, the Swedish Research Council (Vetenskapsrådet) under grant Nr. 2015-04154 (PolUser: Rich User-Controlled Privacy Policies), and the European ICT COST Action IC1402 (Runtime Verification beyond Monitoring (ARVI)).


  1. 1.
    Colombo, C., Pace, G.J., Schneider, G.: Dynamic event-based runtime monitoring of real-time and contextual properties. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol. 5596, pp. 135–149. Springer, Heidelberg (2009). doi: 10.1007/978-3-642-03240-0_13 CrossRefGoogle Scholar
  2. 2.
    Colombo, C., Pace, G.J., Schneider, G.: LARVA – safer monitoring of real-time Java programs (tool paper). In: SEFM 2009, pp. 33–37. IEEE Computer Society (2009)Google Scholar
  3. 3.
    Diaspora*. Accessed 1 July 2016
  4. 4.
    \({\cal PPF}\) Diaspora*. Test pod (2016)., Code.
  5. 5.
    Lenhart, A., Purcell, K., Smith, A., Zickuhr, K.: Social media & mobile internet use among teens and young adults. millennials. Pew Internet & American Life Project (2010)Google Scholar
  6. 6.
    Liu, Y., Gummadi, K.P., Krishnamurthy, B., Mislove, A.: Analyzing facebook privacy settings: User expectations vs. reality. In: ACM SIGCOMM IMC 2011, pp. 61–70. ACM (2011)Google Scholar
  7. 7.
    Pardo, R.: Formalising Privacy Policies for Social Networks. Department of Computer Science and Engineering, Chalmers University of Technology, Licentiate thesis (2015)Google Scholar
  8. 8.
    Pardo, R., Schneider, G.: A formal privacy policy framework for social networks. In: Giannakopoulou, D., Salaün, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 378–392. Springer, Heidelberg (2014). doi: 10.1007/978-3-319-10431-7_30 Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of MaltaMsidaMalta
  2. 2.Department of Computer Science and EngineeringChalmers University of TechnologyGothenburgSweden
  3. 3.Department of Computer Science and EngineeringUniversity of GothenburgGothenburgSweden

Personalised recommendations