2014-01-01

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies

Tags

Trustworthy Information Processing

Conference / Medium

Proc. 26th International Conference on Computer Aided Verification (CAV 2014)

Date published

2014-01-01

Date last modified

2019-07-18 12:09:26

Authors

Omar Chowdhury
Limin Jia
Deepak Garg
Anupam Datta

Download