Towards a Theory of Accountability and Audit

  • Radha Jagadeesan
  • Alan Jeffrey
  • Corin Pitcher
  • James Riely
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5789)

Abstract

Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of accountability-based distributed systems. We describe analyses which support both the design of accountability systems and the validation of auditors for finitary accountability systems. Our study provides formal foundations to explore the tradeoffs underlying the design of accountability systems including: the power of the auditor, the efficiency of the audit protocol, the requirements placed on the agents, and the requirements placed on the communication infrastructure.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Radha Jagadeesan
    • 1
  • Alan Jeffrey
    • 2
  • Corin Pitcher
    • 1
  • James Riely
    • 1
  1. 1.School of ComputingDePaul UniversityUSA
  2. 2.Bell Labs, Alcatel–LucentUSA

Personalised recommendations