A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies.
Rezvan JoshaghaniHoda MehrpouyanPublished in: PAC (2017)
Keyphrases
- model checking
- privacy policies
- temporal logic
- model checker
- automated verification
- formal specification
- symbolic model checking
- temporal properties
- formal verification
- fine grained
- transition systems
- privacy protection
- formal methods
- third party
- verification method
- epistemic logic
- timed automata
- personal information
- bounded model checking
- deterministic finite automaton
- computation tree logic
- privacy concerns
- database systems
- concurrent systems
- linear temporal logic
- access control
- social media
- website