A Logic for Auditing Accountability in Decentralized Systems

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

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

    10 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
    Title of host publicationFormal Aspects in Security and Trust
    Subtitle of host publicationIFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France
    EditorsTheo Dimitrakos, Fabio Martinelli
    Place of PublicationBoston, MA
    PublisherSpringer
    Pages187-201
    Number of pages15
    ISBN (Electronic)978-0-387-24098-5
    ISBN (Print)978-0-387-24050-3
    DOIs
    Publication statusPublished - Aug 2004
    EventIFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust, FAST 2004 - Toulouse, France
    Duration: 22 Aug 200427 Aug 2004

    Publication series

    NameIFIP International Federation for Information Processing
    PublisherKluwer Academic Publishers
    Volume173
    ISSN (Print)1571-5736

    Workshop

    WorkshopIFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust, FAST 2004
    Abbreviated titleFAST
    CountryFrance
    CityToulouse
    Period22/08/0427/08/04

    Keywords

    • SCS-Cybersecurity
    • EC Grant Agreement nr.: FP6/507894
    • Proof system
    • Observable action
    • Decentralize system
    • Usage policy
    • Agent accountability

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

    Cite this