Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements.
Ioannis AgrafiotisSadie CreeseMichael GoldsmithNick PapanikolaouPublished in: PrimeLife (2010)
Keyphrases
- formal methods
- privacy requirements
- privacy preserving
- data security
- knowledge based systems
- formal specification
- artificial intelligence
- model checking
- private information
- privacy protection
- development lifecycle
- modeling language
- privacy preservation
- intrusion detection
- machine learning
- database
- data collection
- data publishing
- data mining