For unknown secrecies refusal is better than lying

Data and Knowledge Engineering

Volumn 33, Issue 1, 2000, Pages 1-23

  Biskup, Joachim ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; DATA STRUCTURES; FORMAL LOGIC; INFORMATION TECHNOLOGY; INTELLIGENT CONTROL; QUERY LANGUAGES; THEOREM PROVING;

CONTROLLED QUERY EVALUATION; INFERENCE CONTROL; INFORMATION SYSTEM; USER IMAGE;

SECURITY OF DATA;

EID: 0034174093     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(99)00043-9     Document Type: Article

References (11)

1. Bonatti P.A., Kraus S., Subrahmanian V.S. Foundations of secure deductive databases. IEEE Transactions on Knowledge and Data Engineering. 7(3):1995;406-422.
2. Castano S., Fugini M., Martella G., Samarati P. Database Security. 1994;Addison-Wesley, Wokingham.
3. E. Cohen, Strong Dependency: A Formalism for Describing Information Transmission in Computational Systems, Department of Computer Science, Carnegie Mellon University, 1976.
4. E. Cohen, Information transmission in computational systems, in: Proceedings of the Sixth Symposium on Operating Systems Principles, 1977, pp. 133-139.
5. F. Cuppens, G. Trouessin, Information flow controls vs inference controls: an integrated approach, in: Proceedings of the Third European Symposium on Research in Computer Security, ESORICS 94, Lecture Notes in Computer Science, vol. 875, Springer, Berlin, 1994, pp. 447-468.
6. Denning D.E. A lattice model of secure information flow. Communications of the ACM. 19(5):1976;236-243.
7. Denning D.E. Cryptography and Data Security. 1982;Addison-Wesley, Reading, MA.
8. Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. Reasoning about Knowledge. 1995;MIT Press, Cambridge.
9. J.A. Goquen, J. Mesequer, Unwinding and inference control, in: Proceedings of the IEEE Symposium on Security and Privacy, Oakland, 1984, pp. 75-86.
10. Shoenfield J.R. Mathematical Logic. 1967;Addison-Wesley, Reading, MA.
11. G.L. Sicherman, W. de Jonge, R.P. van de Riet, Answering queries without revealing secrets, ACM Transactions on Database systems 8 (1) (1983) 41-59.