An Audit Logic for Accountability

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

    Research output: Book/ReportReportProfessional

    46 Citations (Scopus)
    53 Downloads (Pure)


    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 languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages24
    Publication statusPublished - Feb 2005

    Publication series

    NameCTIT Technical Report Series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    ISSN (Print)1381-3625


    • SCS-Cybersecurity


    Dive into the research topics of 'An Audit Logic for Accountability'. Together they form a unique fingerprint.
    • An Audit Logic for Accountability

      Cederquist, J. G., Corin, R. J., Dekker, M. A. C., Etalle, S. & den Hartog, J. I., Jun 2005, 6th International Workshop on Policies for Distributed Systems & Networks (POLICY 2005). Sahai, A. & Winsborough, W. H. (eds.). Los Alamitos, CA: IEEE, p. 34-43 10 p.

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

      48 Downloads (Pure)

    Cite this