【摘 要】
：
虽然MLS(multilevel security)被广泛应用于各种安全系统,但是它不能实现信道控制等重要的安全策略.将可信级别的概念引入到MLS中,使其可以方便地实现各种信道控制策略.建立
论文部分内容阅读
虽然MLS(multilevel security)被广泛应用于各种安全系统,但是它不能实现信道控制等重要的安全策略.将可信级别的概念引入到MLS中,使其可以方便地实现各种信道控制策略.建立了一个实现这种基于可信级别的多级安全策略的访问控制状态机模型,并证明其对定义的策略是安全的,而且可以实现所有静态信息流策略.另外,还扩展了该模型,使其可以支持存储对象安全属性的动态改变.该模型克服了MLS不能解决安全降级问题以及不考虑完整性的缺点,同时又保留了传统分级策略模型易理解、易使用的优点.
其他文献
对苏州市１２１３名老年人生活质量进行现况调查，提示城市，老年人生活质量水平较高，但慢性病串病率较高，健康状况和医疗情况不尽人意。建议从社区、家庭、个人３个方面采取综合措施，完善社区
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个
数学概念不仅是小学数学基础知识的重要组成部分，也是培养和发展学生数学能力的重要内容。实践证明，加强概念教学是切实提高小学数学教学质量的有效策略。笔者认为，在当前积极开展教学有效性研究的背景下，应该努力探寻提高数学概念教学有效性的策略。 一、引入要恰当 1.引入的情境要突出概念的本质特征。 借助直观具体、生动形象的情境引出概念，能激发学生学习的兴趣，有助于学生对概念的理解和掌握。但情境
Xpath成为XML数据查询的基本机制.Xpath中表达节点之间的祖孙关系的‘//'和任意匹配字符的‘*'等非确定操作符,增强了Xpath表达方式的灵活性,但同时引入了Xpath处理