An Audit Logic for Accountability

J.G. Cederquist, R.J. Corin, M.A.C. Dekker, Sandro Etalle, Jeremy den Hartog

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    31 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 languageUndefined
    Title of host publication6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005)
    EditorsA. Sahai, W.H. Winsborough
    Place of PublicationLos Alamitos, California
    PublisherIEEE Computer Society
    Pages34-43
    Number of pages10
    ISBN (Print)0-7695-2265-3
    DOIs
    Publication statusPublished - Jun 2005

    Publication series

    Name
    PublisherIEEE Computer Society Press

    Keywords

    • EWI-692
    • IR-54521
    • METIS-228777
    • SCS-Cybersecurity

    Cite this

    Cederquist, J. G., Corin, R. J., Dekker, M. A. C., Etalle, S., & den Hartog, J. (2005). An Audit Logic for Accountability. In A. Sahai, & W. H. Winsborough (Eds.), 6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005) (pp. 34-43). Los Alamitos, California: IEEE Computer Society. https://doi.org/10.1109/POLICY.2005.5
    Cederquist, J.G. ; Corin, R.J. ; Dekker, M.A.C. ; Etalle, Sandro ; den Hartog, Jeremy. / An Audit Logic for Accountability. 6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005). editor / A. Sahai ; W.H. Winsborough. Los Alamitos, California : IEEE Computer Society, 2005. pp. 34-43
    @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 = "EWI-692, IR-54521, METIS-228777, SCS-Cybersecurity",
    author = "J.G. Cederquist and R.J. Corin and M.A.C. Dekker and Sandro Etalle and {den Hartog}, Jeremy",
    note = "Imported from DIES",
    year = "2005",
    month = "6",
    doi = "10.1109/POLICY.2005.5",
    language = "Undefined",
    isbn = "0-7695-2265-3",
    publisher = "IEEE Computer Society",
    pages = "34--43",
    editor = "A. Sahai and W.H. Winsborough",
    booktitle = "6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005)",
    address = "United States",

    }

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

    An Audit Logic for Accountability. / Cederquist, J.G.; Corin, R.J.; Dekker, M.A.C.; Etalle, Sandro; den Hartog, Jeremy.

    6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005). ed. / A. Sahai; W.H. Winsborough. Los Alamitos, California : IEEE Computer Society, 2005. p. 34-43.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - An Audit Logic for Accountability

    AU - Cederquist, J.G.

    AU - Corin, R.J.

    AU - Dekker, M.A.C.

    AU - Etalle, Sandro

    AU - den Hartog, Jeremy

    N1 - Imported from DIES

    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 - EWI-692

    KW - IR-54521

    KW - METIS-228777

    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 Computer Society

    CY - Los Alamitos, California

    ER -

    Cederquist JG, Corin RJ, Dekker MAC, Etalle S, den Hartog J. An Audit Logic for Accountability. In Sahai A, Winsborough WH, editors, 6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005). Los Alamitos, California: IEEE Computer Society. 2005. p. 34-43 https://doi.org/10.1109/POLICY.2005.5