An implementation of Axml(T) : an answer set programming based formal language of authorisation for XML documents

Sean Policarpio; Yun Bai

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

An implementation of Axml(T) : an answer set programming based formal language of authorisation for XML documents

Sean Policarpio, Yun Bai

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

Abstract

Axml(T) is a logic-based formal language of authorisation for documents written in the Extensible Markup Language. In our previous publication, we addressed the issues of the syntax, semantics, and expressive power that it has to specify access control and to query XML encoded data. In this paper, we consider an experimental implementation to test its capability to allow and restrict access to XML documents. The software implementation will allow us to define a security policy base and then reason upon it to determine authorisations. From there we can discover Axml(T)'s capacity to provide XML access control and any limitations it may have. Also, from this experiment we will have an initial building block for establishing an actual XML access control application.

Original language	English
Title of host publication	Recent Trends in Wireless and Mobile Networks: Proceedings Third International Conferences WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011
Publisher	Springer
Pages	378-387
Number of pages	10
ISBN (Print)	9783642219368
DOIs	https://doi.org/10.1007/978-3-642-21937-5_36
Publication status	Published - 2011
Event	WiMo 2011 - Duration: 26 Jun 2011 → …

Publication series

Name
ISSN (Print)	1865-0929

Conference

Conference	WiMo 2011
Period	26/06/11 → …

Access to Document

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

Cite this

Policarpio, S., & Bai, Y. (2011). An implementation of Axml(T) : an answer set programming based formal language of authorisation for XML documents. In Recent Trends in Wireless and Mobile Networks: Proceedings Third International Conferences WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011 (pp. 378-387). Springer. https://doi.org/10.1007/978-3-642-21937-5_36

@inproceedings{e3f2db8d53e944b7a4bfe13aee1a170d,

title = "An implementation of Axml(T) : an answer set programming based formal language of authorisation for XML documents",

abstract = "Axml(T) is a logic-based formal language of authorisation for documents written in the Extensible Markup Language. In our previous publication, we addressed the issues of the syntax, semantics, and expressive power that it has to specify access control and to query XML encoded data. In this paper, we consider an experimental implementation to test its capability to allow and restrict access to XML documents. The software implementation will allow us to define a security policy base and then reason upon it to determine authorisations. From there we can discover Axml(T)'s capacity to provide XML access control and any limitations it may have. Also, from this experiment we will have an initial building block for establishing an actual XML access control application.",

author = "Sean Policarpio and Yun Bai",

year = "2011",

doi = "10.1007/978-3-642-21937-5_36",

language = "English",

isbn = "9783642219368",

publisher = "Springer",

pages = "378--387",

booktitle = "Recent Trends in Wireless and Mobile Networks: Proceedings Third International Conferences WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011",

note = "WiMo 2011 ; Conference date: 26-06-2011",

}

Policarpio, S & Bai, Y 2011, An implementation of Axml(T) : an answer set programming based formal language of authorisation for XML documents. in Recent Trends in Wireless and Mobile Networks: Proceedings Third International Conferences WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011. Springer, pp. 378-387, WiMo 2011, 26/06/11. https://doi.org/10.1007/978-3-642-21937-5_36

An implementation of Axml(T) : an answer set programming based formal language of authorisation for XML documents. / Policarpio, Sean; Bai, Yun.
Recent Trends in Wireless and Mobile Networks: Proceedings Third International Conferences WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011. Springer, 2011. p. 378-387.

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

TY - GEN

T1 - An implementation of Axml(T) : an answer set programming based formal language of authorisation for XML documents

AU - Policarpio, Sean

AU - Bai, Yun

PY - 2011

Y1 - 2011

N2 - Axml(T) is a logic-based formal language of authorisation for documents written in the Extensible Markup Language. In our previous publication, we addressed the issues of the syntax, semantics, and expressive power that it has to specify access control and to query XML encoded data. In this paper, we consider an experimental implementation to test its capability to allow and restrict access to XML documents. The software implementation will allow us to define a security policy base and then reason upon it to determine authorisations. From there we can discover Axml(T)'s capacity to provide XML access control and any limitations it may have. Also, from this experiment we will have an initial building block for establishing an actual XML access control application.

AB - Axml(T) is a logic-based formal language of authorisation for documents written in the Extensible Markup Language. In our previous publication, we addressed the issues of the syntax, semantics, and expressive power that it has to specify access control and to query XML encoded data. In this paper, we consider an experimental implementation to test its capability to allow and restrict access to XML documents. The software implementation will allow us to define a security policy base and then reason upon it to determine authorisations. From there we can discover Axml(T)'s capacity to provide XML access control and any limitations it may have. Also, from this experiment we will have an initial building block for establishing an actual XML access control application.

UR - http://handle.uws.edu.au:8081/1959.7/545116

UR - http://airccse.org/wimo2011/wimo2011.html

U2 - 10.1007/978-3-642-21937-5_36

DO - 10.1007/978-3-642-21937-5_36

M3 - Conference Paper

SN - 9783642219368

SP - 378

EP - 387

BT - Recent Trends in Wireless and Mobile Networks: Proceedings Third International Conferences WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011

PB - Springer

T2 - WiMo 2011

Y2 - 26 June 2011

ER -

An implementation of Axml(T) : an answer set programming based formal language of authorisation for XML documents

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this