“How did they know?”—model-checking for analysis of information leakage in social networks



Dennis, LA, Slavkovik, M and Fisher, M
(2017) “How did they know?”—model-checking for analysis of information leakage in social networks. .

[img] Text
post_proceedings_ld_2410.pdf - Accepted Version
Access to this file is embargoed until UNSPECIFIED.

Download (435kB)

Abstract

© Springer International Publishing AG 2017. We examine the use of model-checking in the analysis of information leakage in social networks. We take previous work on the formal analysis of digital crowds and show how a variation on the formalism can naturally model the interaction of people and groups of followers in intersecting social networks. We then show how probabilistic models of the forwarding and reposting behaviour of individuals can be used to analyse the risk that information will leak to unwanted parties. We illustrate our approach by analysing several simple examples.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Depositing User: Symplectic Admin
Date Deposited: 01 Mar 2017 10:30
Last Modified: 10 Nov 2018 08:10
DOI: 10.1007/978-3-319-66595-5_3
URI: http://livrepository.liverpool.ac.uk/id/eprint/3006104
Repository Staff Access