a concise overview, Deontic logic in computer science: normative system specification, John Wiley and Sons Ltd
Fine-Grained Access Control via Policy-Carrying Data