10.3778/j.issn.1002-8331.2011.36.007
一种面向结构化保护的组件层次划分方法
GB17859-1999中要求四级以上安全操作系统必须实现结构化保护功能,而层次化方法是实现结构化保护的一个有效途径.基于可信计算思想,将可信根抽象为偏序集中的最小元,利用集合论中完全偏序集的相关知识,通过组件间的依赖关系,提出了一种组件层次划分方法,并证明了层次划分方法的完备性.进一步分析表明,该方法能有效应用于增强系统安全性的研究.
结构化保护、层次化方法、可信计算、完全偏序集、依赖
47
TP309(计算技术、计算机技术)
国家高技术研究发展计划863the National High-Tech Research and Development Plan of China under Grant 2009AA01Z437;国家重点基础研究发展计划2007CB311100
2012-03-16(万方平台首次上网日期,不代表论文的发表时间)
共4页
25-28