Abstract
In this paper, we develop a formal logical foundation for secure deductive databases. This logical foundation is based on an extended logic involving several modal operators. We develop two models of interaction between the user and the database called “yes-no” dialogs, and “yes-no” don’t know” dialogs. Both dialog frameworks allow the database to lie to the user. We identify necessary and sufficient conditions for the database to be able to preserve security. Similar results are also obtained for yes-no-don’t know dialogs.
Original language | English |
---|---|
Title of host publication | Database Theory - ICDT 1992 - 4th International Conference, Proceedings |
Editors | Joachim Biskup, Richard Hull |
Publisher | Springer Verlag |
Pages | 391-406 |
Number of pages | 16 |
ISBN (Print) | 9783540560395 |
DOIs | |
State | Published - 1992 |
Event | 4th International Conference on Database Theory, ICDT 1992 - Berlin, Germany Duration: 14 Oct 1992 → 16 Oct 1992 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 646 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 4th International Conference on Database Theory, ICDT 1992 |
---|---|
Country/Territory | Germany |
City | Berlin |
Period | 14/10/92 → 16/10/92 |
Bibliographical note
Publisher Copyright:© 1992, Springer-Verlag. All rights reserved.