广义完全分配偏序集的若干性质

广义完全分配偏序集是Menon为刻画偏序集关于其区间拓扑为紧致偏序空间时引入的,讨论了广义完全分配偏序集的一些性质。

一种面向结构化保护的组件层次划分方法

GB17859-1999中要求四级以上安全操作系统必须实现结构化保护功能,而层次化方法是实现结构化保护的一个有效途径。基于可信计算思想,将可信根抽象为偏序集中的最小元,利用集合论中完全偏序集的相关知识,通过组件间的依赖关系,提出了一种组件层次划分方法,并证明了层次划分方法的完备性。进一步分析表明,该方法能有效应用于增强系统安全性的研究。