Dennis, Louise (2016) Prism Files used in "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. [Data Collection]
Data Catalogue DOI: 10.17638/datacat.liverpool.ac.uk/163
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 |
| DOI: | 10.17638/datacat.liverpool.ac.uk/163 |
| URI: | https://datacat.liverpool.ac.uk/id/eprint/163 |
Available Files
Full Archive
Creative Commons: Attribution 4.0 |
Read me
Creative Commons: Attribution 4.0 |