隐通道传递信息机理的研究

摘要：

可信计算机系统中一些隐蔽数据流避开了安全机制的监控,造成信息的泄漏.本文通过对这种隐蔽流泄漏信息的机理进行分析和抽象,提出了一个通道元模型.将每一类通道元看成一个有限状态机,以Plotkin的结构化操作语义等为基础,计算出状态机的状态变化序列.通过对不满足隐通道定义的状态变迁序列的归纳,得到了抽象机中安全状态转移的约束条件,找出两个通道元通过共享客体泄露信息的工作机理,从而开发出一种基于操作语义的隐通道标识方法.对电梯调度算法模型进行实验,可有效地标识出存在的隐通道.

关键词：隐通道、信息安全、安全模型

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60573046

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

页数：共5页

页码：92-95,142