"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks

Dennis, LA ORCID: 0000-0003-1426-1896, Slavkovik, M and Fisher, M (2017) "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. In: Coordination, Organizations, Institutions and Norms in Agent Systems XII, 2016-8-30 - 2016-8-30, The Hague, The Netherlands.

Text post_proceedings_ld_2410.pdf - Author Accepted Manuscript Download (435kB)

Abstract

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:	19 Jan 2023 07:15
DOI:	10.1007/978-3-319-66595-5_3
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3006104