摘要
本文在分析以往信息流理论的基础上,采用了一种和操作系统源代码编写相同的思路,完全按照系统设计时的结构化思路分析隐蔽通道。和以往的信息流分析理论相比,该方法能充分利用软件自身的结构化特征,使得信息流分析可以借鉴源代码开发的思路,大大的降低了隐蔽通道分析的难度,增加了源代码分析的可行性。
A new method for detecting covert storage channel using source code is proposed after analyzing the current technology.The method uses same train of thought as encoding.It makes full use of structural characteristics of the software, reduces the degree of difficulty and increases the feasibility greatly.
出处
《网络安全技术与应用》
2010年第2期62-67,共6页
Network Security Technology & Application
关键词
信息安全
安全操作系统
隐蔽通道
信息流
information security
secure operating system
covert channel
info-flow
