The Community for Technology Leaders
Policies for Distributed Systems and Networks, IEEE International Workshop on (2005)
Stockholm, Sweden
June 6, 2005 to June 8, 2005
ISBN: 0-7695-2265-3
pp: 34-43
R. Corin , University of Twente
S. Etalle , University of Twente
M. A. C. Dekker , University of Twente and TNO ICT
J. I. den Hartog , University of Twente
J. G. Cederquist , University of Twente
ABSTRACT
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.
INDEX TERMS
null
CITATION
R. Corin, S. Etalle, M. A. C. Dekker, J. I. den Hartog, J. G. Cederquist, "An Audit Logic for Accountability", Policies for Distributed Systems and Networks, IEEE International Workshop on, vol. 00, no. , pp. 34-43, 2005, doi:10.1109/POLICY.2005.5
82 ms
(Ver 3.3 (11022016))