An audit logic for accountability
conference paper
We describe a policy language and implement its associated proof checking system. 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. © 2005 IEEE.
Topics
TNO Identifier
238912
Publisher
IEEE
Source title
6th IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005, 6 June 2005 through 8 June 2005, Stockholm, Sweden
Place of publication
Piscataway, NJ
Pages
34-43
Files
To receive the publication files, please send an e-mail request to TNO Repository.