Formal specification and verification of user-centric privacy policies for ubiquitous systems.
Rezvan JoshaghaniStacy BlackElena ShermanHoda MehrpouyanPublished in: IDEAS (2019)
Keyphrases
- user centric
- formal specification
- ubiquitous systems
- privacy policies
- model checking
- personal information
- concurrent systems
- formal methods
- ubiquitous computing
- context awareness
- privacy concerns
- protocol specification
- private information
- fine grained
- personal data
- reverse engineering
- third party
- social networking
- privacy protection
- smart environments
- context dependent
- context aware
- ambient intelligence
- service providers
- asynchronous circuits
- information systems
- machine learning
- mobile devices
- natural language
- metadata
- web pages