DocumentCode
3428909
Title
An audit logic for accountability
Author
Cederquist, J.G. ; Conn, R. ; Dekker, M.A.C. ; Etalle, S. ; den Hartog, J.I.
Author_Institution
Dept. of Comput. Sci., Twente Univ., Netherlands
fYear
2005
fDate
6-8 June 2005
Firstpage
34
Lastpage
43
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.
Keywords
distributed processing; formal specification; security of data; software agents; software architecture; specification languages; audit logic; decentralized architecture; formal specification; policy language; proof checking system; Access control; Computer architecture; Computer science; Computer security; Control systems; Data privacy; Data security; Logic; Permission; Protection;
fLanguage
English
Publisher
ieee
Conference_Titel
Policies for Distributed Systems and Networks, 2005. Sixth IEEE International Workshop on
Print_ISBN
0-7695-2265-3
Type
conf
DOI
10.1109/POLICY.2005.5
Filename
1454301
Link To Document