Computing Publications

Publications Home » Policy Conflict Analysis Using Ta...

Policy Conflict Analysis Using Tableaux for On Demand VPN Framework

Hiroaki Kamoda, Masaki Yamaoka, Akihiro Hayakawa, S Matsuda, Krysia Broda, Morris Sloman

Conference or Workshop Paper
First International Workshop on Trust, Security and Privacy for Ubiquitous Computing
June, 2005
pp.565–569
Abstract

The medical field has a requirement for ubiquitous computing with secure and reliable access control to permit patient information to be logged as they go about their normal activities or to permit medics to access patient information remotely from various mobile devices. Healthcare involves many different people from multiple organizations - general practitioner, hospital doctor or nurse, social workers - who all need different information. Defining the required authorization policies can be very complex, resulting in conflicts, which could result in information leaks, with privacy implications, or prevent access to information needed. We propose an approach for detecting conflicts defined in an authorization policy by using free variable tableaux. Our method enables us not only to detect a conflicting policy statically, but also to obtain information that would be helpful to correct the policy by using abductive inference.

PDF of full publication (182 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.