隐通道的仿真分析

摘要：

在TCSEC和CC标准中,软件要获得B2或EAL5及以上安全级的认证,必须要进行隐通道分析.通过建立隐通道的仿真系统,根据试验分析隐通道的性质,其中一些性质是在以往基于源代码或顶级描述的静态隐通道分析中没有观察到的.对这些性质的成因,做了理论上的解释,并提出了分两步进行的隐通道审计方法.

关键词：隐通道、仿真、静态分析、动态分析

所属期刊栏目：18

分类号：TP309.2(计算技术、计算机技术)

资助基金：国家高技术研究发展计划（863计划）60573046

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

页数：共5页

页码：1488-1492