Policy Monitoring in First-Order Temporal Logic
Lecture Notes in Computer Science
Samuel Müller
Felix Klaedtke
Fine-Grained Access Control via Policy-Carrying Data