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

Verifiable autonomy: From theory to applications

“…As agents communicate important information, privacy is also crucial. Our work in this area has concentrated on verifying (lack of) any information leakage or diffusion in agent-based social networks [70,71] and on formalising digital crowds [72].…”

Analysis of influence on social networks

“…However, we are not aware of any related works that focus on the external influence and the strategic aspects of DeGroot learning using probabilistic model checking techniques. Works that are somehow related in that they use probabilistic model checking but address different problems are [48] and [49]. In [48], the authors used probabilistic model checking to analyze the evolution of a disease spread over groups of people.…”

“…The variations of the spread depending on the possible vaccination strategies were analyzed based on a Continuous Time Markov Chain (CTMC). In [49], a social graph consisting of multiple avatars of users in different social networks was modeled as a Discrete Time Markov Chain (DTMC) and PRISM was used to analyze simple characteristics of the model (e.g., the probability of information leakage). Properties of the model were evaluated to investigate the spread of information over "detached" users of social networks.…”