An Audit Logic for Accountability
密码学与安全
2016-11-17 v3 计算机科学中的逻辑
摘要
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.
引用
@article{arxiv.cs/0502091,
title = {An Audit Logic for Accountability},
author = {J. G. Cederquist and R. Corin and M. A. C. Dekker and S. Etalle and J. I. den Hartog},
journal= {arXiv preprint arXiv:cs/0502091},
year = {2016}
}
备注
To appear in Proceedings of IEEE Policy 2005