2 research outputs found
“How did they know?”—model-checking for analysis of information leakage in social networks
Get PDFPrism Files used in "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks.
No full textThis 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
