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

Department of Mathematics

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

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

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{2886b68bb3b84a03a8603da4c739f611,

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 = "אנגלית",

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

address = "גרמניה",

}

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, 14/10/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 › peer-review

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

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

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

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

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

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this