一种隐通道威胁审计的度量方法
隐通道分析是高等级可信评估的重要指标,在TCSEC、CC和我国的GB17859-1999等标准中均有相关要求.隐通道的威胁审计是隐通道分析的重要组成部分,目前一般使用TCSEC的纯带宽标准,但它并不能全面反映出隐通道的威胁.通过形式化地定义隐通道,研究其可量化属性,分析其空间拓扑结构,建立了一个用于隐通道计算的代数系统.通过引入威胁度和威胁率两个概念给出了一种新的威胁审计度量方法,新方法与已有的纯带宽方法兼容,能够从多个不同的角度对隐通道的威胁程度进行较为全面的度量.进一步,在隐通道代数系统的支持下给出了审计中有关问题的计算方法,形成了一套完整的隐通道威胁审计度量体系.
隐通道、威胁审计、度量、代数系统、可信评估
32
TP309(计算技术、计算机技术)
国家自然科学基金60773049;江苏省自然科学基金BK2007086;江苏省高校自然科学研究计划07KJB520016;江苏大学高级人才项目07JDG053
2009-05-25(万方平台首次上网日期,不代表论文的发表时间)
共12页
751-762