A nonmonotonic typed multilevel logic for multilevel secure data/knowledge base management systems. II

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1900-01-01 DOI:10.1109/CSFW.1992.236781

B. Thuraisingham

引用次数: 2

Abstract

For pt.I. see Proc. 4th Computer Security Foundations, Franconia, USA (1991). In pt.I the author described a logic called nonmonotonic typed multilevel logic (NTML) for multilevel database applications. They also described various approaches to viewing multilevel databases through NTML. In this paper he continues with his discussion of the applications of NTML. In particular, the use of NTML as a programming language, issues on handling negative information in multilevel databases, and approaches for integrity checking in multilevel database systems are described. His work on NTML will be of significance to multilevel data/knowledge base applications in the same way logic programming has been to the development of data/knowledge base applications.<>

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

用于多级安全数据/知识库管理系统的非单调型多级逻辑。2

pt.I。参见Proc. 4th Computer Security Foundations, Franconia, USA(1991)。在pt1中，作者描述了一种用于多层数据库应用的非单调类型多层逻辑(NTML)。他们还描述了通过NTML查看多层数据库的各种方法。在本文中，他继续讨论了NTML的应用。特别地，描述了NTML作为编程语言的使用，在多层数据库中处理负面信息的问题，以及在多层数据库系统中完整性检查的方法。他在NTML方面的工作将对多层数据/知识库应用程序具有重要意义，就像逻辑编程对数据/知识库应用程序的开发一样。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

[1992] Proceedings The Computer Security Foundations Workshop V

自引率

0.00%

发文量

期刊最新文献

Secure dependencies with dynamic level assignments Causal security (computer systems) The inference problem for computer security An algebraic approach to non-interference (computer security) Some laws of non-interference (CSP algebra)