"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 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 Item (Unspecified)
Uncontrolled Keywords:	4613 Theory Of Computation, 46 Information and Computing Sciences
Depositing User:	Symplectic Admin
Date Deposited:	01 Mar 2017 10:30
Last Modified:	22 May 2026 20:58
DOI:	10.1007/978-3-319-66595-5_3
Related Websites:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3006104
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.