Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal analysis of access control policies

Lookup NU author(s): Dr Jeremy Bryans


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


NVe present a formal (niodel-based) approach to describin, and analvsiiiy access control policies. This approach allows us to evaluate access requests against policies, compare versions of policies with each other and check policies for internal consistency. Access control policies are described tising VDIM, a statebased formal modelling language. Policy descriptions are concise and may be easily manipulated. The structure of the VDIM description is derived from the OASIS standard access control policy language XACML. It is therefore straightforward to translate between XACML policies and their corresponding models.

Publication metadata

Author(s): Bryans JW

Editor(s): SJ Cox

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the UK e-Science All Hands Meeting 2006

Year of Conference: 2006

Pages: 701-708

Publisher: National e-Science Centre


Library holdings: Search Newcastle University Library for this item

ISBN: 0955398800