On logical foundations of multilevel secure databases

DOI10.1023/B:JIIS.0000047395.18103.28zbMath1076.68023OpenAlexW1973020940MaRDI QIDQ1768938

Hasan M. Jamil, Gillian Dobbie

Publication date: 15 March 2005

Published in: Journal of Intelligent Information Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:jiis.0000047395.18103.28

zbMATH Keywords

securityreasoningsoundness and completenessdeclarative languagedeductive databasesbelief assertioninheritance and overridingMLS databases

Mathematics Subject Classification ID

Database theory (68P15)

This page was built for publication: On logical foundations of multilevel secure databases