计算机操作系统隐蔽通道的有效标识方法
介绍了关于安全操作系统的一个重要问题——隐蔽通道的标识。针对某些操作系统规范的分析资源不易获得、及时性差的问题,以及隐蔽通道传统的标识方法工作量过大、标识隐蔽通道效率低等问题,给出了采用共享资源矩阵法对操作系统描述性顶层规范(DTLS)进行分析的标识方法。其特点是描述性顶层规范越详细,隐蔽通道标识的效率就越高,有效地减小了隐蔽通标识的工作量,提高了标识效率,并解决了分析资源不易获得、及时性差带来的隐蔽通道标识困难的问题。
隐蔽通道 安全操作系统 操作系统规范 有效标识方法
茹斌 蔡勉
北京工业大学 电子信息与控制工程学院 北京 100022
国内会议
西安
中文
4-6
2006-09-01（万方平台首次上网日期，不代表论文的发表时间）