Detecting and predicting privacy violations in online social networks

作者: Özgür Kafalı , Akın Günay , Pınar Yolum

DOI: 10.1007/S10619-013-7124-8

关键词:

摘要: Online social networks have become an essential part of and work life. They enable users to share, discuss, create content together with various others. Obviously, not all is meant be seen by all. It extremely important ensure that only shown those are approved the content's owner so owner's privacy preserved. Generally, online promising preserve through agreements, but still everyday new leakages taking place. Ideally, should able manage maintain their agreements well-founded methods. However, dynamic nature making it difficult keep private information contained. We developed $\mathcal{PROTOSS}$ , a run time tool for detecting predicting $\mathcal{PR}\mathrm{ivacy}\ \mathrm{vi}\mathcal{O}\mathrm{la}\mathcal{T}\mathrm{ions}\ \mathrm{in}\ \mathcal{O}\mathrm{nline}\ \mathcal{S}\mathrm{ocial}\ \mathrm{network}\mathcal{S}$ . captures relations among users, network operator, as well domain-based semantic rules. uses model checking detect if will result in violation agreements. can further use infer possible violations been specified user explicitly. In addition detection, predict future feeding hypothetical world state. Through running example, we show subtle leakages, similar ones reported real life examples. We study performance our system on scenario existing Facebook dataset.

参考文章(33)
Fausto Giunchiglia, Alessandro Cimatti, Marco Roveri, Edmund M. Clarke, Roberto Sebastiani, Marco Pistore, Armando Tacchella, Enrico Giunchiglia, Nusmv version 2: an opensource tool for symbolic model checking computer aided verification. ,(2002)
Rachida Dssouli, Mohamed El-Menshawy, Jamal Bentahar, An Integrated Semantics of Social Commitments and Associated Operations. MALLOW. ,(2009)
P Jennette, N Brittany, Debatin, Bernhard, Lovejoy, Horn, Ann-Kathrin, and Hughes, Facebook and Online Privacy: Attitudes, Behaviors, and Unintended Consequences. Journal of ComputerMediated Communication journal article. ,vol. 15, pp. 83- 108 ,(2009)
Barbara Carminati, Elena Ferrari, Privacy-Aware Access Control in Social Networks: Issues and Solutions Springer, London. pp. 181- 195 ,(2010) , 10.1007/978-1-84996-238-4_9
Munindar P. Singh, An ontology for commitments in multiagent systems Artificial Intelligence and Law. ,vol. 7, pp. 97- 113 ,(1999) , 10.1023/A:1008319631231
Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella, NuSMV 2: An OpenSource Tool for Symbolic Model Checking computer aided verification. pp. 359- 364 ,(2002) , 10.1007/3-540-45657-0_29
Edmund M. Clarke, E. Allen Emerson, DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC 25 Years of Model Checking. ,vol. 131, pp. 196- 215 ,(2008) , 10.1007/978-3-540-69850-0_12
Michael Huth, Mark Ryan, Logic in Computer Science Cambridge University Press. ,(2004) , 10.1017/CBO9780511810275