利用源代码信息流分析搜寻隐蔽存储信道

摘要：

在分析国内外操作系统安全评估和测试方法的基础上，提出一套基于源代码信息流分析的隐蔽存储信道搜寻方法。与传统分析工具相比，不需要系统有严格的形式化描述和一致性证明，能找出更多的隐蔽存储信道。

关键词：信息流隐蔽信道共享变量安全级

所属期刊栏目：37

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

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

页数：共4页

页码：92-94,106