Experiences in the logical specification of the HIPAA and GLBA privacy laws.
Henry DeYoungDeepak GargLimin JiaDilsun Kirli KaynarAnupam DattaPublished in: WPES (2010)
Keyphrases
- privacy preserving
- case study
- privacy protection
- private information
- formal specification
- personal information
- sensitive information
- statistical databases
- logical reasoning
- high level
- security issues
- specification language
- location privacy
- privacy aware
- databases
- identity management
- learning from experience
- privacy preservation
- database
- formal verification
- security risks
- personal data
- confidential information
- data privacy