Declarative Foundations of Secure Deductive Databases
暂无分享,去创建一个
[1] Piero A. Bonatti,et al. A More General Solution to the Multiple Expansion Problem , 1990, LPNMR.
[2] Joachim Biskup,et al. Analysis of the Privacy Model for the Information System DORIS , 1988, DBSec.
[3] Piero A. Bonatti. A Family of Three-Valued Autoepistemic Logics , 1991, AI*IA.
[4] Reind P. van de Riet,et al. Answering queries without revealing secrets , 1983, TODS.
[5] Dorothy E. Denning,et al. A Multilevel Relational Data Model , 1987, 1987 IEEE Symposium on Security and Privacy.
[6] Joachim Biskup,et al. The personal model of data: Towards a privacy-oriented information system , 1988, Comput. Secur..
[7] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .