To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

An automata-based approac… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

An automata-based approach to evolving privacy policies for social networks

Conference paper
Authors Raul Pardo Jimenez
C. Colombo
G.J. Pace
Gerardo Schneider
Published in Lecture Notes in Computer Science, volume 10012
ISBN 9783319469812
ISSN 0302-9743
Publisher Springer
Publication year 2016
Published at Department of Computer Science and Engineering, Computing Science (GU)
Language en
Links dx.doi.org/10.1007/978-3-319-46982-...
Subject categories Computer and Information Science

Abstract

Online Social Networks (OSNs) are ubiquitous, with more than 70% of Internet users being active users of such networking services. This widespread use of OSNs brings with it big threats and challenges, privacy being one of them. Most OSNs today offer a limited set of (static) privacy settings and do not allow for the definition, even less enforcement, of more dynamic privacy policies. In this paper we are concerned with the specification and enforcement of dynamic (and recurrent) privacy policies that are activated or deactivated by context (events). In particular, we present a novel formalism of policy automata, transition systems where privacy policies may be defined per state. We further propose an approach based on runtime verification techniques to define and enforce such policies. We provide a proof-of-concept implementation for the distributed social network Diaspora, using the runtime verification tool Larva to synthesise enforcement monitors.

Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?