计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (36): 25-28.
盖新貌1,2,沈昌祥2,3,李 勇2,4,刘 毅3
GAI Xinmao1,2,SHEN Changxiang2,3,LI Yong2,4,LIU Yi3
摘要: GB17859-1999中要求四级以上安全操作系统必须实现结构化保护功能,而层次化方法是实现结构化保护的一个有效途径。基于可信计算思想,将可信根抽象为偏序集中的最小元,利用集合论中完全偏序集的相关知识,通过组件间的依赖关系,提出了一种组件层次划分方法,并证明了层次划分方法的完备性。进一步分析表明,该方法能有效应用于增强系统安全性的研究。