安全核机制的分析

作     者：黎忠文 熊光泽 

作者机构：电子科技大学计算机学院成都610054 

基　　金："九五"国防技术预研基金资助项目 

出 版 物：《电子科技大学学报》 (Journal of University of Electronic Science and Technology of China)

年 卷 期：2001年第30卷第1期

页      码：62-65页

摘      要：安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析，讨论了该核的概念及特征，包括其建立的原因、条件、安全策略及结构等重要内容。设计了一种可重用的安全核机制，能较好解决重用安全核带来的一系列诸如应用相关性、安全策略表达的非一致性等问题。

主 题 词：安全关键系统 软件安全 安全核机制 计算机安全 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 08[工学] 0839[0839] 0835[0835] 081201[081201] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1001-0548.2001.01.016

馆 藏 号：203119653...