A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints

View Sample PDF

Author(s): Sean Policarpio (University of Western Sydney, Australia)and Yan Zhang (University of Western Sydney, Australia)
Copyright: 2013
Pages: 23
Source title: Developing and Evaluating Security-Aware Software Systems
Source Author(s)/Editor(s): Khaled M. Khan (Qatar University, Qatar)
DOI: 10.4018/978-1-4666-2482-5.ch009

Keywords: Computer Science & IT / Information Science Reference / IT Security and Ethics / Systems & Software Design

Purchase

View A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints on the publisher's website for pricing and purchasing information.

Abstract

The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. This work focuses on the development of a formal language that can provide role-based access control to information stored in XML formatted documents. This language has the capacity to reason whether access to an XML document should be allowed. The language, Axml(T), allows for the specification of authorisations on XML documents and distinguishes itself from other research with the inclusion of temporal interval reasoning and the XPath query language.

The IRMA Community

Research IRM

A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints

Purchase

Abstract

Related Content

IRMA Sponsors