An Audit Logic for Accountability
J. G. Cederquist, R. Corin, M. A. C. Dekker, S. Etalle, J. I. den Hartog
Abstract
We describe and implement a policy language. In our system, agents can distribute data along with usage policies in a decentralized architecture. Our language supports the specification of conditions and obligations, and also the possibility to refine policies. In our framework, the compliance with usage policies is not actively enforced. However, agents are accountable for their actions, and may be audited by an authority requiring justifications.
Create a lesson
Related papers
Decision-Focused Learning for Cyber-Physical Risk-Aware Power Grid Operations
Ayesha Siddiqua Dina, Ebisa D. Wollega, Afzal Hossain Sohag
ToFu: Exploiting and Fuzzing the LLM-Orchestrator-Tool Trust Boundary
Md Nazmul Islam Ananto, Pierre Prevost-Avenel, Colin Smith et al.
APEX-Harm: Evaluating Agent Safety in Shared Professional Workspaces
Ziyi Yang, Adel Bibi, Guohao Li et al.
A Systematic Study of Security Enforcement at Android Inter-Component Boundaries
Sandiyo Christan A
EviRepair: Evidence-Driven Agents for Reliable Vulnerability Repair
Yilian Shi, Qingyu Liu, Tianyi Zhou et al.
Towards Safe World Models: Risks, Defenses, and Evaluation
Xiaoma Wang, Litian Zhang, Xinze Shi et al.