A model theoretic semantics for multi-level secure deductive databases

DOI10.1007/3-540-45619-8_10MaRDI QIDQ4809161zbMATH OpenFDO

Authors Gillian Dobbie, Hasan M. Jamil

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2401/24010130.htm

zbMATH Keywords

belief assertiondeductive databasesMLS databasesreasoningsecuritysoundness and completeness

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• On logical foundations of multilevel secure databases
• Declarative semantics of belief queries in MLS deductive databases
• Logical foundations of multilevel databases
• Foundations of modal deductive databases
• A data model and an algebra for multilevel secure relations

Cited in

(6)

• On logical foundations of multilevel secure databases
• A multilevel secure relation-hierarchical data model for a secure DBMS
• Declarative semantics of belief queries in MLS deductive databases
• scientific article; zbMATH DE number 7301460 (Why is no real title available?)
• A comparison of semantic models for noninterference
• An equational logic based approach to the security problem against inference attacks on object-oriented databases

This page was built for publication: A model theoretic semantics for multi-level secure deductive databases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4809161)