2 papers
cs.DB2014
A Logical Formalization of a Secure XML Database
Alban Gabillon
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…
cs.CR2014
Cover Story Management
Frédéric Cuppens, Alban Gabillon
In a multilevel database, cover stories are usually managed using the ambiguous technique of polyinstantiation. In this paper, we define a new technique to manage cover stories and…