An Audit Logic for Accountability

13 years 10 months ago

Download wslc.math.ist.utl.pt

We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architecture. Our language supports the speciﬁcation of conditions and obligations, and also the possibility to reﬁne 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 justiﬁcations.

J. G. Cederquist, Ricardo Corin, M. A. C. Dekker,

Real-time Traffic

POLICY 2005 | Policy Language | Proof Checking System | Usage Policies |

claim paper

» A Logical Method for Policy Enforcement over Evolving Audit Logs

» Pilot job accounting and auditing in Open Science Grid

» Towards a Theory of Accountability and Audit

» Different PreProcessing Models for Financial Accounts when using Neural Networks for Audit...

» Policies and Proofs for Code Auditing

» Securing ProvenanceBased Audits

» A logical account of uncertain databases based on linear logic

» Regret Minimizing Audits A LearningTheoretic Basis for Privacy Protection

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	POLICY
Authors	J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog

Comments (0)

Sciweavers

An Audit Logic for Accountability

POLICY 2005 | Policy Language | Proof Checking System | Usage Policies |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers