Privacy Verification in POMDPs via Barrier Certificates.
Mohamadreza AhmadiBo WuHai LinUfuk TopcuPublished in: CoRR (2018)
Keyphrases
- privacy preserving
- trusted third party
- reinforcement learning
- belief state
- model checking
- access control
- partially observable
- personal information
- face verification
- public key
- private data
- privacy preservation
- privacy protection
- private information
- security issues
- dynamic programming
- markov decision processes
- privacy enhancing
- cryptographic protocols
- privacy issues
- optimal policy
- security mechanisms
- personal data
- formal methods
- partially observable markov decision processes
- formal verification
- sensitive information
- decision trees
- statistical databases
- identity management
- security risks
- verification method
- legal issues
- computational complexity
- privacy concerns