问责制的审计逻辑
An Audit Logic for Accountability
摘要：
我们描述并实现了一种策略语言。在我们的系统中，代理可以在分散的架构中分发数据和使用策略。我们的语言支持条件和义务的具体化，也支持完善政策的可能性。在我们的框架中，遵守使用策略并没有被积极地执行。然而，代理人对其行为负责，并可由要求提供理由的机构进行审计。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
