Eddy, a formal language for specifying and analyzing data flow specifications for conflicting privacy requirements.
Travis D. BreauxHanan HibshiAshwini RaoPublished in: Requir. Eng. (2014)
Keyphrases
- data flow
- formal language
- privacy requirements
- control flow
- formal semantics
- privacy preserving
- natural language interface
- natural language
- representation language
- privacy protection
- data security
- private information
- privacy preservation
- object oriented
- query language
- process model
- software development
- data publishing
- machine learning