An Implementation of $\mathcal{A}^{xml(T)}$ : An Answer Set Programming Based Formal Language of Authorisation for XML Documents

Policarpio, Sean; Bai, Yun

doi:10.1007/978-3-642-21937-5_36

Cited by 1 publication

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Presently, we have an initial implementation to test the true expressiveness, capability, and limitations of A xml(T) (Policarpio & Zhang, 2010). This implementation is only an experimental prototype, so we intentionally limited its development so that it was strictly capable of only doing the following primary functions: to discover what privileges a subject has during some interval Eventually, this prototype will be able to be extended so that it provides a full fledged access controlled XML environment, however, at this point we were currently only focused on examining A xml(T) 's feasibility as an access control model and not as real world application.…”

Section: Consideration For Implementationmentioning

confidence: 99%

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

Policarpio

Zhang

2011

International Journal of Secure Software Engineering

View full text Add to dashboard Cite

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.

show abstract

Section: Consideration For Implementationmentioning

confidence: 99%