Sign in

"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks.

Louise A. DennisMarija SlavkovikMichael Fisher
Published in: COIN@AAMAS/ECAI (2016)
Keyphrases
  • model checking
  • social networks
  • temporal logic
  • formal methods
  • temporal properties
  • data analysis
  • finite state
  • formal verification
  • np complete
  • smart card
  • social networking
  • epistemic logic
  • bounded model checking