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

Dennis, Louise (2016) Prism Files used in "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. [Data Collection]

Collection description

This dataset consist of 5 prism model files and 7 pctl property files which illustrate various examples of intersecting social networks and how the probability of information leakage between them can be modelled.

Keywords: model checking, social networks, prism, information leakage
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Louise Dennis
Date Deposited: 21 Jul 2016 10:36
Last Modified: 21 Jul 2016 10:36
URI: http://datacat.liverpool.ac.uk/id/eprint/163

Available Files

Full Archive

Read me