Formal analysis of privacy requirements specifications for multi-tier applications.
Travis D. BreauxAshwini RaoPublished in: RE (2013)
Keyphrases
- formal analysis
- multi tier
- privacy requirements
- privacy preserving
- data security
- privacy preservation
- private information
- database management
- privacy protection
- formal methods
- formal specification
- data publishing
- agent model
- service management
- privacy policies
- nested transactions
- access control
- management system
- data privacy
- database technology
- information security
- internet services
- fine grained