For Unknown Secrecies Refusal is Better than Lying
暂无分享,去创建一个
[1] José Meseguer,et al. Unwinding and Inference Control , 1984, 1984 IEEE Symposium on Security and Privacy.
[2] Reind P. van de Riet,et al. Answering queries without revealing secrets , 1983, TODS.
[3] Dorothy E. Denning,et al. Cryptography and Data Security , 1982 .
[4] Frédéric Cuppens,et al. Information Flow Controls vs Interference Controls: An Integrated Approach , 1994, ESORICS.
[5] Sarit Kraus,et al. Foundations of Secure Deductive Databases , 1995, IEEE Trans. Knowl. Data Eng..
[6] Ellis S. Cohen. Information transmission in computational systems , 1977, SOSP '77.
[7] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[8] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .