On Logical Foundations of Multilevel Secure Databases

作者:Hasan M. Jamil, Gillian Dobbie

摘要

It is envisaged that the application of the multilevel security (MLS) scheme will enhance flexibility and effectiveness of authorization policies in shared enterprise databases and will replace cumbersome authorization enforcement practices through complicated view definitions on a per user basis. However, the critical problem with the current model is that the belief at a higher security level is cluttered with irrelevant or inconsistent data as no mechanism for attenuation is supported. Critics also argue that it is imperative for MLS database users to theorize about the belief of others, perhaps at different security levels, an apparatus that is currently missing and the absence of which is seriously felt.

论文关键词:MLS databases, security, belief assertion, reasoning, inheritance and overriding, deductive databases, declarative language, soundness and completeness

论文评审过程:

论文官网地址:https://doi.org/10.1023/B:JIIS.0000047395.18103.28