Policy Monitoring in First-Order Temporal Logic
Lecture Notes in Computer Science
Felix Klaedtke
David Basin
Fine-Grained Access Control via Policy-Carrying Data