@inproceedings{d329f851f8794ee0be1072c9f8c79085,
title = "A formal language for specifying complex XML authorisations with temporal constraints",
abstract = "The Extensible Markup Language (XML) is utilised in many Internet applications we are using today. However, as with many computing technologies, vulnerabilities exist in XML that can allow for malicious and unauthorised use. Applications that utilise XML are therefore susceptible to security faults if they do not provide their own methods. Our research focuses on developing a formal language which can provide access control to information stored in XML formatted documents. This formal language will have the capacity to reason if access to an XML document should be allowed. Our language, Axml(T), allows for the specification of authorisations on XML documents based on the popular Role-based Access Control model. Temporal interval reasoning is the study of logically representing time intervals and relationships between them. As part of our research, we have also included this aspect in our language Axml(T) because we believe it will allow us to specify even more powerful access control authorisations.",
keywords = "access control, AI in computer security, AI in database, authorisations, knowledge representation and reasoning, logic programming, XML databases and security",
author = "Sean Policarpio and Yan Zhang",
year = "2010",
doi = "10.1007/978-3-642-16342-5\_32",
language = "English",
isbn = "3642163416",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "443--457",
booktitle = "Information Security and Cryptology - 5th International Conference, Inscrypt 2009, Revised Selected Papers",
note = "5th International Conference on Information Security and Cryptology, Inscrypt 2009 ; Conference date: 12-12-2009 Through 15-12-2009",
}