TY - JOUR
T1 - A formal language for XML authorisations based on answer set programming and temporal interval logic constraints
AU - Policarpio, Sean
AU - Zhang, Yan
PY - 2011
Y1 - 2011
N2 - The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper focuses on the development of a formal language which can provide role-based access control to information stored in XML formatted documents. Our 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.
AB - The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper focuses on the development of a formal language which can provide role-based access control to information stored in XML formatted documents. Our 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.
UR - http://handle.uws.edu.au:8081/1959.7/562974
U2 - 10.4018/jsse.2011010102
DO - 10.4018/jsse.2011010102
M3 - Article
SN - 1947-3036
VL - 2
SP - 22
EP - 39
JO - International Journal of Secure Software Engineering
JF - International Journal of Secure Software Engineering
IS - 1
ER -