安全核机制的分析

摘要：

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

关键词：安全关键系统、安全核、安全策略、核化系统

所属期刊栏目：30

分类号：TP306+.3;TP311(计算技术、计算机技术)

资助基金：国防技术预研基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：62-65