Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/25839
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Pardo, Raul | - |
dc.contributor.author | Colombo, Christian | - |
dc.contributor.author | Pace, Gordon J. | - |
dc.contributor.author | Schneider, Gerardo | - |
dc.date.accessioned | 2018-01-16T13:46:22Z | - |
dc.date.available | 2018-01-16T13:46:22Z | - |
dc.date.issued | 2016 | - |
dc.identifier.citation | Pardo R., Colombo C., Pace, G. J., & Schneider G. (2016). An automata-based approach to evolving privacy policies for social networks. 16th International Conference on Runtime Verification, Madrid. 285-301. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/25839 | - |
dc.description.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. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Springer International Publishing | en_GB |
dc.rights | info:eu-repo/semantics/restrictedAccess | en_GB |
dc.subject | Computer software -- Verification | en_GB |
dc.subject | Aspect-oriented programming | en_GB |
dc.subject | Computer software -- Testing | en_GB |
dc.subject | Computer software -- Development | en_GB |
dc.subject | Real-time data processing | en_GB |
dc.title | An automata-based approach to evolving privacy policies for social networks | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.bibliographicCitation.conferencename | 16th International Conference on Runtime Verification | en_GB |
dc.bibliographicCitation.conferenceplace | Madrid, Spain, 23-30/09/2016 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1007/978-3-319-46982-9 18 | - |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
10.10072F978-3-319-46982-9_18.pdf Restricted Access | 656.03 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.