An Audit Logic for Accountability

Authors:
J. G. Cederquist;R. Corin;M. A. C. Dekker;S. Etalle;J. I. den Hartog
Affiliations:
University of Twente;University of Twente;University of Twente and TNO ICT;University of Twente;University of Twente
Venue:
POLICY '05 Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
Year:
2005

Citing 0
Cited 13

Privacy intrusion detection using dynamic Bayesian networks

ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
Mutual trust in open environment for cascaded web services

Proceedings of the 3rd ACM workshop on Secure web services
A Bayesian Network Approach to Detecting Privacy Intrusion

WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
The monitorability of service-level agreements for application-service provision

WOSP '07 Proceedings of the 6th international workshop on Software and performance
Audit-Based Access Control for Electronic Health Records

Electronic Notes in Theoretical Computer Science (ENTCS)
A posteriori compliance control

Proceedings of the 12th ACM symposium on Access control models and technologies
AURA: a programming language for authorization and audit

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
A Formal Privacy Management Framework

Formal Aspects in Security and Trust
Encoding information flow in Aura

Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
Encoding information flow in AURA

ACM SIGPLAN Notices
Accountability as a Way Forward for Privacy Protection in the Cloud

CloudCom '09 Proceedings of the 1st International Conference on Cloud Computing
Towards a theory of accountability and audit

ESORICS'09 Proceedings of the 14th European conference on Research in computer security
Securing data accountability in decentralized systems

OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 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.