Welcome to the InfoSci Platform
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints

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

Sean Policarpio, Yan Zhang
Copyright: © 2013 |Pages: 23
ISBN13: 9781466624825|ISBN10: 1466624825|EISBN13: 9781466624832
DOI: 10.4018/978-1-4666-2482-5.ch009
Cite Chapter Cite Chapter

MLA

Policarpio, Sean, and Yan Zhang. "A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints." Developing and Evaluating Security-Aware Software Systems, edited by Khaled M. Khan, IGI Global, 2013, pp. 138-160. https://doi.org/10.4018/978-1-4666-2482-5.ch009

APA

Policarpio, S. & Zhang, Y. (2013). A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints. In K. Khan (Ed.), Developing and Evaluating Security-Aware Software Systems (pp. 138-160). IGI Global. https://doi.org/10.4018/978-1-4666-2482-5.ch009

Chicago

Policarpio, Sean, and Yan Zhang. "A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints." In Developing and Evaluating Security-Aware Software Systems, edited by Khaled M. Khan, 138-160. Hershey, PA: IGI Global, 2013. https://doi.org/10.4018/978-1-4666-2482-5.ch009

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.