检索结果-内蒙古大学图书馆

On logical foundations of multilevel secure databases

JOURNAL OF INTELLIGENT INFORMATION SYSTEMS 2004年第3期23卷 271-294页

作者： Jamil, HM Dobbie, G Wayne State Univ Dept Comp Sci Detroit MI 48202 USA Univ Auckland Dept Comp Sci Auckland 1 New Zealand

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. The impetus for our current research is the need to provide an adequate framework for belief reasoning in mls databases. In this paper, we show that these concepts can be captured in a F-logic style declarative query language, called MultiLog, for mls deductive databases for which a proof theoretic, model theoretic and fixpoint semantics exist. This development is significant from a database perspective as it now enables us to compute the semantics of MultiLog databases in a bottom-up fashion. We also define a bottom-up procedure to compute unique models of stratified MultiLog databases. Finally, we establish the equivalence of MultiLog's three logical characterizations-model theory, fixpoint theory and proof theory.

关键词： mls databases security belief assertion reasoning inheritance and overriding deductive databases declarative language soundness and completeness

来源：评论

学校读者我要写书评

暂无评论

A model theoretic semantics for multi-level secure deductive databases

引用

18th International Conference on Logic Programming

作者： Jamil, HM Dobbie, G Mississippi State Univ Dept Comp Sci Mississippi State MS 39762 USA

ISBN: (纸本)3540439307

The impetus for our current research is the need to provide an adequate framework for belief reasoning in multi-level secure (mls) databases. We demonstrate that a prudent application of the concept of inheritance in a deductive database setting will help capture the notion of declarative belief and belief reasoning in mls databases in an elegant way. In this paper, we show that these concepts can be captured in a F-logic style declarative query language, called MultiLog, for mls deductive databases for which a model theoretic semantics exists. This development is significant from a database perspective as it now enables us to compute the semantics of MultiLog databases in a bottom-up fashion. The semantics developed here is reminiscent of the stable model semantics of logic programs with negation. We also define a bottom-up procedure to compute unique models of stratified MultiLog databases. Finally, we also establish the equivalence of MultiLog's three logical characterizations-model theory, fixpoint theory and proof theory.

关键词： mls databases security belief assertion reasoning deductive databases soundness and completeness

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：