【摘 要】
：
本文提出了一种基于可信状态的多级安全模型,它以BLP模型为基础,引入可信度和可信状态测量函数,利用可信计算平台的完整性测量、存储和报告功能,检测进程和被访问对象的可信
【机 构】
：
中国科学院研究生院信息安全国家重点实验室,海军装备研究院指挥自动化研究所,北京工业大学计算机学院
【基金项目】
：
国家863高技术研究发展计划(No.2006AA01Z440)
论文部分内容阅读
本文提出了一种基于可信状态的多级安全模型,它以BLP模型为基础,引入可信度和可信状态测量函数,利用可信计算平台的完整性测量、存储和报告功能,检测进程和被访问对象的可信状态,并针对不同类型访问对象,动态调节进程访问范围,提高模型的抗攻击能力.文中说明了模型的基本设计思想,形式化描述和可信状态转换过程,证明执行新规则后系统仍然处于安全状态.最后,本文还介绍了模型在操作系统内核的实施框架,及其实现性能分析.
其他文献
工业发展带来的废气污染问题日益严峻,因此高性能气敏传感器的研发对废气排放的实时监测至关重要。在众多的气敏传感器中,金属氧化物基气敏传感器因诸多优点受到研究者广泛关注。经过多年发展,一元半导体金属氧化物的响应值得到了较大的提升,但选择性差等固有弊端制约其进一步应用。相较于一元金属氧化物,二元金属氧化物具有更加丰富的结构类型和物理化学性质。近来二元金属氧化物半导体在气敏传感器领域受到广泛关注。作为二元
介绍了在几种船型上球首改型设计的效果,无论是中速集装箱船还是低速散货船,球首线型设计的优劣直接决定了船舶的快速性能水平。优秀的球首线型对船舶操纵性、船舶在风浪上首
目的:研究4种常见海参对环磷酰胺所致小鼠肠黏膜损伤的保护作用,并初步探讨其保护机制。方法:70只BALB/c小鼠随机分为7组:正常组、模型组、阳性对照组、仿刺参组、美国肉参组
储能具有响应快、灵活性强等特点,可为电网提供多种辅助服务,是消纳高比例可再生能源的重要灵活资源。随着储能成本的快速下降,集中式、分布式储能在电网中的应用近年来得到
结合我国现行招标投标制度及招标投标市场现状,通过对我国2000-2018年间的73份招投标政策文本进行文本计量与内容分析,并分析政策工具在其中的应用。结果表明政策工具应用不
支持向量机(Support Vector Machine,SVM)作为一种优良的机器学习算法,已被人们大量应用于工业生产、生活应用当中。但是,SVM存在着不能处理带有模糊信息、以及对噪声敏感的特性,因此学者们期望通过引入模糊支持向量机(Fuzzy Support Vector Machine,FSVM)来解决以上问题。FSVM对SVM的改进是通过对样本数据集特性的分析得到隶属度函数(Members
如果不理解预算政治,任何对正式预算过程的说明都是不完整与误导性的。但是,何谓预算政治或预算过程的政治？对于这个问题,开启了公共预算之政治学研究视角先河的美国公共预算
进入21世纪以来,科技创新教育成为国内外教育热点领域,STEM教育、STEAM教育、研究性学习、探究性课程等不同的学习与课堂形式在各个学段各个类别的教育中都受到了充分重视.同
导入是小学数学课堂教学的起始环节,合理的导入,可以有效地开启学生的思维,激发联想,激励探究,为一堂课的成功铺下基石.本文从即以＂趣＂诱趣等四个方面进行了探讨.
若是要对马克思国家理论进行深入细致的研究,那么对黑格尔国家理论的解读就是绕不开的前提。《法哲学原理》在西方启蒙运动、宗教改革运动和法国大革命的影响下孕育而生,它承