Frédéric Cuppens
-
Formal query languages for secure relational databases
ACM Transactions on Database Systems (TODS)
Foundations of Secure Deductive Databases
IEEE Transactions on Knowledge and Data Engineering