安全核机制的分析

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:meng8500
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析,讨论了该核的概念及特征,包括其建立的原因、条件、安全策略及结构等重要内容。设计了一种可重用的安全核机制,能较好解决重用安全核带来的一系列诸如应用相关性、安全策略表达的非一致性等问题。
其他文献
当前我国正处在一个科学发展、构建和谐社会的新时期,对大学生的综合素质要求越来越高。培养具有正确的世界观、人生观、价值观和创新精神与实践能力的全面发展的人才已成为高等学校的首要任务。必须进一步加强校园文化建设,把握主旋律,用先进文化统领大学校园文化。
采用极小族理论建立了完全分配格上的另外一种拓扑--极小族拓扑,使得最大标准极小族是该拓扑仅有的非平凡开集.给出了极小族拓扑的一些性质及该拓扑下函数连续的必要条件,讨
在国家启动“2011计划”的背景下,通过梳理高校科研管理方式,查找出高校科研管理工作中的短板,基于服务创新,着力转变高校科研管理方式。坚持“以人为本”,不断更新服务理念与服务
互联网将人类的生存空间从现实的物质社会拓展到虚拟的网络空间,形成了“虚拟生存”这一新的生存方式。在高校校园,大学生的虚拟生存已成为不争的事实。大学生虚拟生存是其自
目的:探讨叶酸对H型高血压患者血压控制及同型半胱氨酸(Hcy)血清水平的影响。方法将120例H型高血压患者按数字表法随机分为对照组和观察组各60例,对照组给予系统降压方案治疗,观
在教育政策的制定和执行过程中,教师的地位是不容忽视的。作为与学校、与学生、与教育都密切相关的重要角色,将教师纳入教育政策的制定与执行主体队伍是十分必要的。而这不仅需
目的:探讨抗生素分期治疗在复发性尿路感染中的效果。方法选取复发性尿路感染患者48例分观察组和治疗组,每组24例。观察组分期给予抗生素治疗,对照组给予抗生素联合胸腺五肽治疗
Moodle是全世界尤其是欧洲的英语教育者广泛运用的网络课程管理系统。基于此平台建立的网络拓展课程具有超课堂的开放性,其中的Forum活动是一种经过精心设计的学习过程,强调学生的主动参与。此活动在充分尊重学生独立人格的基础上开发学生独立见解的潜能,培养学生自主学习的能力,为学生提供了一个充分开放的体验环境,以期实现学生的自主学习和有效的语言体验。
目的:探讨超声雾化和压缩雾化分别应用于不同年龄段支气管肺炎患儿中的临床效果。方法收集本院432例气管肺炎患儿,其中3个月~2岁的患儿322例,2岁以上的患儿110例,其中将3个月~
介绍了入侵检测系统和数据挖掘技术的概念、特点和关键技术,分析了入侵检测系统中信息收集的主要数据来源,结合传统的入侵检测方案的缺点,提出了一种基于数据挖掘技术的具有