{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T14:38:10Z","timestamp":1781102290742,"version":"3.54.1"},"reference-count":21,"publisher":"IGI Global Scientific Publishing","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,1]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.4018\/jsse.2011010102","type":"journal-article","created":{"date-parts":[[2011,10,19]],"date-time":"2011-10-19T12:46:07Z","timestamp":1319028367000},"page":"22-39","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints"],"prefix":"10.4018","volume":"2","author":[{"given":"Sean","family":"Policarpio","sequence":"first","affiliation":[{"name":"University of Western Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Western Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"jsse.2011010102-0","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90008-0"},{"key":"jsse.2011010102-1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068407003183"},{"key":"jsse.2011010102-2","doi-asserted-by":"crossref","unstructured":"Anutariya, C., Chatvichienchai, S., Iwaihara, M., Wuwongse, V., & Kambayashi, Y. (2003). A rule-based xml access control model. In RuleML (pp. 35-48).","DOI":"10.1007\/978-3-540-39715-1_3"},{"key":"jsse.2011010102-3","unstructured":"Apache Software Foundation. (2010). The apache. http server project. Retrieved from http:\/\/httpd.apache.org\/"},{"key":"jsse.2011010102-4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"jsse.2011010102-5","doi-asserted-by":"publisher","DOI":"10.1145\/293910.293151"},{"key":"jsse.2011010102-6","unstructured":"Bertino, E., Braun, M., Castano, S., Ferrari, E., & Mesiti, M. (2000). Author-x: A java-based system for xml data protection. In Proceedings of the IFIP Workshop on Database Security (pp. 15-26)."},{"key":"jsse.2011010102-7","doi-asserted-by":"publisher","DOI":"10.1016\/S1363-4127(04)00029-9"},{"key":"jsse.2011010102-8","unstructured":"Consortium, W. W. W. (1999). Xml path language (xpath) version 1.0. Retrieved from http:\/\/www.w3.org\/TR\/xpath"},{"key":"jsse.2011010102-9","unstructured":"Consortium, W. W. W. (2008). Extensible markup language (xml) 1.0 (5th ed.). Retrieved from http:\/\/www.w3.org\/TR\/REC-xml\/"},{"key":"jsse.2011010102-10","doi-asserted-by":"publisher","DOI":"10.1145\/505586.505590"},{"key":"jsse.2011010102-11","unstructured":"di Vimercati, S. D. C., Marrara, S., & Samarati, P. (2005). An access control model for querying xml data. In Proceedings of the 2005 workshop on Secure web services (SWS \u201905) (pp. 36-42). New York: ACM."},{"key":"jsse.2011010102-12","doi-asserted-by":"crossref","unstructured":"Fan, W., Chan, C., & Garofalakis, M. (2004). Secure xml querying with security views. In Proceedings of the 2004 ACM SIGMOD international conference on Management Data (SIGMOD 2004). New York: ACM Press.","DOI":"10.1145\/1007568.1007634"},{"key":"jsse.2011010102-13","unstructured":"Ferraiolo, D. F., Cugini, J. A., & Kuhn, D. R. (1995). Role-based access control (rbac): Features and motivations. In Proceedings of the 11th Annual Computer Security Applications."},{"key":"jsse.2011010102-14","unstructured":"Gabillon, A. (2005). A formal access control model for xml databases (LNCS 3674, pp. 86-103). New York: Springer."},{"key":"jsse.2011010102-15","unstructured":"Gelfond, M., & Lifschitz, V. (1988). The stable model semantics for logic programming. In R. A. Kowalski & K. Bowen (Eds.), Proceedings of the Fifth International Conference on Logic Programming (pp. 1070-1080). Cambridge, MA. The MIT Press."},{"key":"jsse.2011010102-16","unstructured":"Lifschitz, V. (2008). What is answer set programming? In Proceedings of the 23rd national conference on Artificial intelligence (AAAI\u201908) (p. 1594). Cambridge, MA: MIT."},{"key":"jsse.2011010102-17","unstructured":"Niemela, I., Simons, P., & Syrjanen, T. (2000). Smodels: a system for answer set programming. In Proceedingsof the 8th International Workshop on Non-Monotonic Reasoning."},{"key":"jsse.2011010102-18","unstructured":"Policarpio, S., & Zhang, Y. (2010). An implementation of Axml(T): A formal language of authorisation for xml documents."},{"key":"jsse.2011010102-19","unstructured":"Python Software Foundation. (2010). Python programming language. Retrieved from http:\/\/www.python.org\/"},{"key":"jsse.2011010102-20","unstructured":"The, P. H. P. Group. (2010). Php: Hypertext preprocessor. Retrieved from http:\/\/www.php.net\/"}],"container-title":["International Journal of Secure Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=52594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,8]],"date-time":"2019-02-08T01:37:53Z","timestamp":1549589873000},"score":1,"resource":{"primary":{"URL":"http:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jsse.2011010102"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":21,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.4018\/jsse.2011010102","relation":{},"ISSN":["1947-3036","1947-3044"],"issn-type":[{"value":"1947-3036","type":"print"},{"value":"1947-3044","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}