An Audit Logic for Accountability

J.G. Cederquist; R.J. Corin; M.A.C. Dekker; S. Etalle; J.I. den Hartog

doi:10.1109/POLICY.2005.5

An Audit Logic for Accountability

J.G. Cederquist, R.J. Corin, M.A.C. Dekker, S. Etalle, J.I. den Hartog

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

50 Downloads (Pure)

Abstract

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.

Original language	English
Title of host publication	6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005)
Editors	A. Sahai, W.H. Winsborough
Place of Publication	Los Alamitos, CA
Publisher	IEEE
Pages	34-43
Number of pages	10
ISBN (Print)	0-7695-2265-3
DOIs	https://doi.org/10.1109/POLICY.2005.5
Publication status	Published - Jun 2005
Event	6th International Workshop on Policies for Distributed Systems & Networks, POLICY 2005 - Stockholm, Sweden Duration: 6 Jun 2005 → 8 Jun 2005 Conference number: 6

Workshop

Workshop	6th International Workshop on Policies for Distributed Systems & Networks, POLICY 2005
Abbreviated title	POLICY
Country/Territory	Sweden
City	Stockholm
Period	6/06/05 → 8/06/05

Keywords

SCS-Cybersecurity

Access to Document

10.1109/POLICY.2005.5

1 Report

An Audit Logic for Accountability
Cederquist, J. G., Corin, R. J., Dekker, M. A. C., Etalle, S. & den Hartog, J., Feb 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (CTIT Technical Report Series; no. TR-CTIT-05-11)
Research output: Book/Report › Report › Professional

Open Access
File

Cite this

@inproceedings{1d15a58ad0a54e8bb11a30cfa37852d7,

title = "An Audit Logic for Accountability",

abstract = "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.",

keywords = "SCS-Cybersecurity",

author = "J.G. Cederquist and R.J. Corin and M.A.C. Dekker and S. Etalle and {den Hartog}, J.I.",

year = "2005",

month = jun,

doi = "10.1109/POLICY.2005.5",

language = "English",

isbn = "0-7695-2265-3",

pages = "34--43",

editor = "A. Sahai and W.H. Winsborough",

booktitle = "6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005)",

publisher = "IEEE",

address = "United States",

note = "6th International Workshop on Policies for Distributed Systems & Networks, POLICY 2005, POLICY ; Conference date: 06-06-2005 Through 08-06-2005",

}

Cederquist, JG, Corin, RJ, Dekker, MAC, Etalle, S & den Hartog, JI 2005, An Audit Logic for Accountability. in A Sahai & WH Winsborough (eds), 6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005). IEEE, Los Alamitos, CA, pp. 34-43, 6th International Workshop on Policies for Distributed Systems & Networks, POLICY 2005, Stockholm, Sweden, 6/06/05. https://doi.org/10.1109/POLICY.2005.5

An Audit Logic for Accountability. / Cederquist, J.G.; Corin, R.J.; Dekker, M.A.C. et al.
6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005). ed. / A. Sahai; W.H. Winsborough. Los Alamitos, CA: IEEE, 2005. p. 34-43.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - An Audit Logic for Accountability

AU - Cederquist, J.G.

AU - Corin, R.J.

AU - Dekker, M.A.C.

AU - Etalle, S.

AU - den Hartog, J.I.

N1 - Conference code: 6

PY - 2005/6

Y1 - 2005/6

N2 - 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.

AB - 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.

KW - SCS-Cybersecurity

U2 - 10.1109/POLICY.2005.5

DO - 10.1109/POLICY.2005.5

M3 - Conference contribution

SN - 0-7695-2265-3

SP - 34

EP - 43

BT - 6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005)

A2 - Sahai, A.

A2 - Winsborough, W.H.

PB - IEEE

CY - Los Alamitos, CA

T2 - 6th International Workshop on Policies for Distributed Systems & Networks, POLICY 2005

Y2 - 6 June 2005 through 8 June 2005

ER -

An Audit Logic for Accountability

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Research output

An Audit Logic for Accountability

Cite this