Declarative foundations of secure deductive databases

Piero Bonatti; Sarit Kraus; V. S. Subrahmanian

doi:10.1007/3-540-56039-4_55

Declarative foundations of secure deductive databases

Piero Bonatti, Sarit Kraus, V. S. Subrahmanian

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Scopus citations

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 (US)
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	https://doi.org/10.1007/3-540-56039-4_55
State	Published - 1992
Externally published	Yes
Event	4th International Conference on Database Theory, ICDT 1992 - Berlin, Germany Duration: Oct 14 1992 → Oct 16 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	10/14/92 → 10/16/92

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-56039-4_55

Cite this

Bonatti, P., Kraus, S., & Subrahmanian, V. S. (1992). Declarative foundations of secure deductive databases. In J. Biskup, & R. Hull (Eds.), Database Theory - ICDT 1992 - 4th International Conference, Proceedings (pp. 391-406). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 646 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-56039-4_55

Bonatti, Piero ; Kraus, Sarit ; Subrahmanian, V. S. / Declarative foundations of secure deductive databases. Database Theory - ICDT 1992 - 4th International Conference, Proceedings. editor / Joachim Biskup ; Richard Hull. Springer Verlag, 1992. pp. 391-406 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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.}",

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",

}

Bonatti, P, Kraus, S & Subrahmanian, VS 1992, Declarative foundations of secure deductive databases. in J Biskup & R Hull (eds), Database Theory - ICDT 1992 - 4th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 646 LNCS, Springer Verlag, pp. 391-406, 4th International Conference on Database Theory, ICDT 1992, Berlin, Germany, 10/14/92. https://doi.org/10.1007/3-540-56039-4_55

Declarative foundations of secure deductive databases. / Bonatti, Piero; Kraus, Sarit; Subrahmanian, V. S.
Database Theory - ICDT 1992 - 4th International Conference, Proceedings. ed. / Joachim Biskup; Richard Hull. Springer Verlag, 1992. p. 391-406 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 646 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Declarative foundations of secure deductive databases

AU - Bonatti, Piero

AU - Kraus, Sarit

AU - Subrahmanian, V. S.

PY - 1992

Y1 - 1992

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85029486884&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85029486884&partnerID=8YFLogxK

U2 - 10.1007/3-540-56039-4_55

DO - 10.1007/3-540-56039-4_55

M3 - Conference contribution

AN - SCOPUS:85029486884

SN - 9783540560395

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 391

EP - 406

BT - Database Theory - ICDT 1992 - 4th International Conference, Proceedings

A2 - Biskup, Joachim

A2 - Hull, Richard

PB - Springer Verlag

T2 - 4th International Conference on Database Theory, ICDT 1992

Y2 - 14 October 1992 through 16 October 1992

ER -

Bonatti P, Kraus S, Subrahmanian VS. Declarative foundations of secure deductive databases. In Biskup J, Hull R, editors, Database Theory - ICDT 1992 - 4th International Conference, Proceedings. Springer Verlag. 1992. p. 391-406. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-56039-4_55

Declarative foundations of secure deductive databases

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this