Foundations of secure deductive databases

This publication has 19 references indexed in Scilit:

• A definition of secure dependencies using the logic of security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Computing Circumscriptive Databases
  Information and Computation, 1995
• Declarative foundations of secure deductive databases
  Published by Springer Nature ,1992
• Controlling FD and MVD inferences in multilevel relational database systems
  IEEE Transactions on Knowledge and Data Engineering, 1991
• Control of confidentiality in databases
  Computers & Security, 1990
• Nonmonotonic reasoning, preferential models and cumulative logics
  Artificial Intelligence, 1990
• Security-control methods for statistical databases: a comparative study
  ACM Computing Surveys, 1989
• The personal model of data:
  Computers & Security, 1988
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
  The Journal of Logic Programming, 1984
• Answering queries without revealing secrets
  ACM Transactions on Database Systems, 1983