IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

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
View Sample PDF
Author(s): Sean Policarpio (University of Western Sydney, Australia)and Yan Zhang (University of Western Sydney, Australia)
Copyright: 2011
Volume: 2
Issue: 1
Pages: 18
Source title: International Journal of Secure Software Engineering (IJSSE)
Editor(s)-in-Chief: Martin Gilje Jaatun (SINTEF Digital, Norway)
DOI: 10.4018/jsse.2011010102

Purchase


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.

Related Content

Nan Jiang. © 2026. 18 pages.
Fang Zhou, Jianheng Ji, Shuping Wang, Wei Zhao. © 2026. 28 pages.
Dhivya Guru, Baskar Chinnaiah, Senthilraj Subramaniam. © 2026. 29 pages.
Jisheng Shi, Yunying He. © 2026. 17 pages.
Yizihe Lang, Chunchao Chen, Qiancheng Cai, Shuangzhu Tao, Xiao Zhang, Baoxing Ju. © 2026. 19 pages.
Yingdong Lai, Suijiang Mo, Zixin Li, Baoguo Li, Hongbing Wen. © 2026. 16 pages.
Masafumi Nakano. © 2026. 14 pages.
Body Bottom