TY  - RPRT
TI  - A Logical Formalization of a Secure XML Database
AU  - Alban Gabillon
PY  - 2014
UR  - https://arxiv.org/abs/1405.5671
ID  - 1405.5671
ER  -