A Logical Formalization of a Secure XML Database

📝 Original Info

• Title: A Logical Formalization of a Secure XML Database
• ArXiv ID: 1405.5671
• Date: 2014-05-23
• Authors: Researchers from original ArXiv paper

📝 Abstract

In this paper, we first define a logical theory representing an XML database supporting XPath as query language and XUpdate as modification language. We then extend our theory with predicates allowing us to specify the security policy protecting the database. The security policy includes rules addressing the read and write privileges. We propose axioms to derive the database view each user is permitted to see. We also propose axioms to derive the new database content after an update.

💡 Deep Analysis

Deep Dive into A Logical Formalization of a Secure XML Database.

In this paper, we first define a logical theory representing an XML database supporting XPath as query language and XUpdate as modification language. We then extend our theory with predicates allowing us to specify the security policy protecting the database. The security policy includes rules addressing the read and write privileges. We propose axioms to derive the database view each user is permitted to see. We also propose axioms to derive the new database content after an update.

📄 Full Content

Reference