A Logic for Auditing Accountability in Decentralized Systems

R.J. Corin, S. Etalle, J. den Hartog, G. Lenzini, I. Staicu

    Research output: Book/ReportReportOther research output

    73 Downloads (Pure)

    Abstract

    We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforced. However, agents may be audited by an authority at an arbitrary moment in time. We design a logic that allows audited agents to prove their actions, and to prove their authorization to posses particular data. Accountability is defined in several flavors, including agent accountability and data accountability. Finally, we show the soundness of the logic.
    Original languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages17
    Publication statusPublished - Jun 2004

    Publication series

    NameCTIT technical report series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    No.TR-CTIT-04-27

    Keywords

    • SCS-Cybersecurity

    Fingerprint

    Dive into the research topics of 'A Logic for Auditing Accountability in Decentralized Systems'. Together they form a unique fingerprint.

    Cite this