Ensuring privacy in presence awareness: an automated verification approach.

Patrice Godefroid James D. Herbsleb Lalita Jategaonkar Jagadeesan Du Li

Published in: CSCW (2000)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
personal information
private information
privacy preserving
statistical databases
sensitive data
privacy aware
distributed systems
sensitive information
privacy preserving data mining
privacy preservation
privacy issues