Corpus ID: 47019134

A Logical Framework for Verifying Privacy Breaches of Social Networks

@article{Catao2018ALF,
  title={A Logical Framework for Verifying Privacy Breaches of Social Networks},
  author={N{\'e}stor Cata{\~n}o},
  journal={ArXiv},
  year={2018},
  volume={abs/1806.03519}
}

• Néstor Cataño
• Published 2018
• Computer Science
• ArXiv

We present a novel approach to deal with transitivity permission-delegation threats that arise in social networks when content is granted permissions by third-party users thereby breaking the privacy policy of the content owner. These types of privacy breaches are often unintentional in social networks like Facebook, and hence, (more) in-place mechanisms are needed to make social network users aware of the consequences of changing their privacy policies. Our approach is unique in its use of… Expand