基于零级N/T泛数完整簇的概率逻辑算子的研究

在人工智能中不确定性理论、主观Bayes方法、证据理论等都是基于概率论的。但是,这些不确定性推理方法仅仅是基于概率,而不能真正实现逻辑框架内的概率逻辑不确定推理,产生这种现象的主要原因是概率逻辑自身存在着缺陷。按照泛逻辑学的生成规则,基于零级N/T/S范数完整簇从泛逻辑学的角度来构造概率逻辑算子。结果表明概率逻辑是能够在泛逻辑学的框架内进行柔性化的,是命题泛逻辑在h=0.75时的一种特例。

基于角色的操作系统完整性控制模型

完整性是操作系统的安全目标之一。分析了安全操作系统的完整性保护策略,详细说明了用户职责和进程可信度是决定系统中用户、进程和文件完整级的重要因素。提出了一个完整性控制模型,该模型使用角色来简化对用户完整级的管理。分别给出了模型的完整性公理、模型元素、系统状态的定义、系统设置方法和以及状态转换规则,并对模型进行了正确性证明,最后介绍了模型的应用实例和实现方法。

国产化列车网络控制系统安全完整性技术应用

列车网络控制系统作为对列车各关键系统进行监视、控制、故障诊断的核心设备,其自身的故障或误操作将直接导致列车的严重事故,因此,对于列车网络控制系统提出更高的安全要求是十分有必要的。本文描述了安全完整性等级2级的列车网络控制系统架构及其安全性要求,提出了故障监测技术及相关故障控制方法。

风管穿越H级防火墙的若干问题分析

在海洋石油平台和浮式生产储油设施上,经常因安全需要,需将房间舱壁设置成H级防火墙,当风管不可避免的穿越H级防火墙时会破坏舱壁的结构完整性和防火完整性,从而使舱壁失去了防火性能。本文通过对H级防火墙的介绍,并就风管穿越H级防火墙所涉及到的问题逐一分析,为后续类似情况提供指导依据。

STUDY AND IMPROVEMENT OF MLS RELATIONAL DATA MODEL

The conception of multilevel security (MLS) is commonly used in the study of data model for secure database. But there are some limitations in the basic MLS model, such as inference channels. The availability and data integrity of the system are seriously constrained by it′s 'No Read Up, No Write Down' property in the basic MLS model. In order to eliminate the covert channels, the polyinstantiation and the cover story are used in the new data model. The read and write rules have been redefined for improving the agility and usability of the system based on the MLS model. All the methods in the improved data model make the system more secure, agile and usable.