Keyphrases
- privacy policies
- personal information
- hardware designs
- privacy preserving
- bounded model checking
- policy enforcement
- access control
- model checking
- high level
- privacy aware
- security concerns
- belief functions
- formal verification
- sensitive information
- privacy preserving data mining
- privacy concerns
- fine grained
- face verification
- personal data
- private information
- private data
- third party
- privacy enhancing
- privacy requirements
- verification method
- asynchronous circuits
- identity management
- belief revision
- data security
- signature verification
- differential privacy
- privacy preservation
- privacy protection
- security issues
- information loss
- security management
- data privacy
- formal methods
- probability theory
- data mining