Protecting deductive databases from unauthorized retrievals

IFIP Advances in Information and Communication Technology

Volumn 73, Issue , 2001, Pages 185-196

  Barker, Steve ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT DATABASES; QUERY PROCESSING;

DEDUCTIVE DATABASE; LOGICAL CONSEQUENCES; QUERY EVALUATION; SECURITY REQUIREMENTS; UNAUTHORIZED DISCLOSURES;

SECURITY OF DATA;

EID: 84904256387     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (17)

1. Abiteboul, S., Hull, R., and Vianu, V., Foundations of Databases, Addison-Wesley, 1995.
2. Apt, K., and Bezem, M., Acyclic Programs, New Generation Computing, 1990.
3. Barker, S., Data Protection by Logic Programming, 1st International Conference on Computational Logic, LNAI 1861, Springer, 2000.
4. Barker, S., Secure Deductive Databases, 3rd International Workshop on Practical Applications of Declarative Languages (PADL'01), 2001.
5. Barker, S., Access Control by Constraint Satisfaction, To Appear.
6. Bonatti, P., Kraus, S., and Subrahmanian, V., Foundations of Secure Deductive Databases, IEEE TKDE, 7(3), 1995.
7. Castano, S., Fugini, M., Martella, G., and Samarati, P., Database Security, Addison Wesley, 1995.
8. Chen, W., and Warren, D., Tabled Evaluation with Delaying for General Logic Programs, J. ACM, 43(1), 1996.
9. Cuppens, F., and Demolombe, R., A Modal Logical Framework for Security Policies, ISMIS'97, 1997.
10. Lloyd, J., Foundations of Logic Programming, Springer, 1987.
11. Minker, J., Logic and Databases: A 20 Year Retrospective, 1st I'nat. Workshop on Logic in Databases, LNCS 1154, Springer, 1996.
12. Przymusinski, T., Perfect Model Semantics, Proc. 5th ICLP, 1988.
13. Ramakrishnan, R., Applications of Logic Databases, Kluwer, 1995.
14. Sandhu, R., Coyne, E., Feinstein, H., and Youman, C., Role-Based Access Control Models, IEEE Computer, 1996.
15. Sagonas, K., Swift, T., Warren, D., Freire, J., Rao. P., The XSB System, Version 2.0, Programmer's Manual, 1999.
16. Van Gelder, A., Ross, K., and Schlipf, J., The Well-Founded Semantics for General Logic Programs, J. ACM, 38(3), 1991.
17. Vardi, M., The Complexity of Query Languages, ACM Symp. on the Theory of Computing, May, 1982.