安全核机制的分析
Analysis of Mechanism of Safety Kernel作者机构：电子科技大学计算机学院成都610054
出 版 物：《电子科技大学学报》 (Journal of University of Electronic Science and Technology of China)
年 卷 期：2001年第30卷第1期
页 面：62-65页
核心收录：
学科分类：0808[工学-电气工程] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 0839[工学-网络空间安全] 0835[工学-软件工程] 081201[工学-计算机系统结构] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金："九五"国防技术预研基金资助项目
摘 要：安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析，讨论了该核的概念及特征，包括其建立的原因、条件、安全策略及结构等重要内容。设计了一种可重用的安全核机制，能较好解决重用安全核带来的一系列诸如应用相关性、安全策略表达的非一致性等问题。
维普期刊数据库
同方期刊数据库