@inproceedings{08d6c79c3c52447fb5a0c6c0613b554b,
title = "Declarative foundations of secure deductive databases",
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{\textquoteright}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{\textquoteright}t know dialogs.",
author = "Piero Bonatti and Sarit Kraus and Subrahmanian, {V. S.}",
note = "Publisher Copyright: {\textcopyright} 1992, Springer-Verlag. All rights reserved.; 4th International Conference on Database Theory, ICDT 1992 ; Conference date: 14-10-1992 Through 16-10-1992",
year = "1992",
doi = "10.1007/3-540-56039-4_55",
language = "English (US)",
isbn = "9783540560395",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "391--406",
editor = "Joachim Biskup and Richard Hull",
booktitle = "Database Theory - ICDT 1992 - 4th International Conference, Proceedings",
}