Declarative foundations of secure deductive databases

Piero Bonatti, Sarit Kraus, V. S. Subrahmanian

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations


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 languageEnglish (US)
Title of host publicationDatabase Theory - ICDT 1992 - 4th International Conference, Proceedings
EditorsJoachim Biskup, Richard Hull
PublisherSpringer Verlag
Number of pages16
ISBN (Print)9783540560395
StatePublished - 1992
Externally publishedYes
Event4th International Conference on Database Theory, ICDT 1992 - Berlin, Germany
Duration: Oct 14 1992Oct 16 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume646 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference4th International Conference on Database Theory, ICDT 1992

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Declarative foundations of secure deductive databases'. Together they form a unique fingerprint.

Cite this