A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints

DOI10.1007/978-3-642-16342-5_32zbMath1281.68209OpenAlexW1512996756MaRDI QIDQ3056917

Sean Policarpio, Yan Zhang

Publication date: 23 November 2010

Published in: Information Security and Cryptology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16342-5_32

zbMATH Keywords

logic programmingaccess controlknowledge representation and reasoningAI in computer securityAI in databaseauthorisationsXML databases and security

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Authentication, digital signatures and secret sharing (94A62)

Uses Software

• Smodels

This page was built for publication: A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints