论文部分内容阅读
在分析国内外操作系统安全评估和测试方法的基础上，提出一套基于源代码信息流分析的隐蔽存储信道搜寻方法。与传统分析工具相比，不需要系统有严格的形式化描述和一致性证明，能找出更多的隐蔽存储信道。
利用源代码信息流分析搜寻隐蔽存储信道
【摘 要】
：
在分析国内外操作系统安全评估和测试方法的基础上，提出一套基于源代码信息流分析的隐蔽存储信道搜寻方法。与传统分析工具相比，不需要系统有严格的形式化描述和一致性证明，能找
【机 构】
：
中国科技大学研究生院计算机部
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
其他文献
8岁男孩亮亮（化名）是一名二年级学生，比较瘦小。亮亮是二年级上学期转学至此的，班主任反映他经常迟到，而且一迟到就不愿意进教室，怎么劝都没用。当母亲向亮亮了解原因时，他总会说：“
案例背景小贞（化名），女，11岁，2011年2月从湖南老家转学到深圳某民办学校三年级就读。开学两个星期左右，小贞对学校环境及老师的教学方法不适应，因作业经常无法按时完成，受到老师的批
以静压止推轴承为例 ,研究了变粘度条件下静压支承的出油液阻 ,提出了出油液阻比影响系数的概念 ,得出了静压支承的出油液阻比不仅与油膜厚度的 3次方成反比 ,而且还与出油液
从分析两代软件产品入手讨论图书馆计算机管理系统软件的“升级”和“更换”策略,着重就新软件的考评和升级的步骤提出自己的观点。
Starting with the analysis of two gen
由于使用工作流技术构建的信息系统具有很好的灵活性、良好的可扩展能力等,工作流技术的研究与应用已成为目前的一个热点.文章首先详细介绍了工作流的相关概念、工作流的参考
使用基于MPI并行编程方法对Fortran77串行计算程序进行并行处理,主要工作在循环级的可并行性研究和并行实现.文中给出并行代码在国家高性能计算中心(合肥)的曙光-1000机上运
吸烟时,烟碱传递到吸烟者口中的速率以及烟碱在人体呼吸系统中的吸收位置可能与主流烟气中的烟碱在气相和粒相中的分布情况有关.建立了一种使用裸管测定主流烟气中烟碱蒸发的
初中化学教学的重点内容之一是化学概念的教学,化学概念的抽象化使得学生在学习过程中很难理解和运用,直接影响学生学习化学的兴趣和学生学习能力的提高。作者在初中化学概念
Recursion is a new effective method for computing dense linear algebra. It allows for efficient utilization of memory hierarchies of today′s high-performance c