The Audit Logic: Policy Compliance in Distributed Systems

Share/Save/Bookmark

Cederquist, J.G. and Corin, R. and Dekker, M.A.C. and Etalle, S. and Hartog den, J.I. and Lenzini, G. (2006) The Audit Logic: Policy Compliance in Distributed Systems. [Report]

[img]
Preview
PDF
331Kb
Abstract:We present a distributed framework where agents can share data along with usage policies. We use an expressive policy language including conditions, obligations and delegation. Our framework also supports the possibility to refine policies. Policies are not enforced a-priori. Instead policy compliance is checked using an a-posteriri auditing approach. Policy compliance is shown by a (logical) proof that the authority can systematically check for validity. Tools for automatically checking and generating proofs are also part of the framework.
Item Type:Report
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/65617
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 237396