Temporal Mode-Checking for Runtime Monitoring of Privacy Policies

Chowdhury, Omar and Jia, Limin and Garg, Deepak and Datta, Anupam
(2014) Temporal Mode-Checking for Runtime Monitoring of Privacy Policies.
In: Proc. 26th International Conference on Computer Aided Verification (CAV 2014).
Conference: CAV - Computer Aided Verification

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item