【摘 要】
:
本文在综述隐通道分析方法和研究现状的基础上,解决了自动化分析系统源代码中信息流的问题,并将信息流组织成信息流图,设计并实现了一个基于静态分析的隐通道检测框架。本文
论文部分内容阅读
本文在综述隐通道分析方法和研究现状的基础上,解决了自动化分析系统源代码中信息流的问题,并将信息流组织成信息流图,设计并实现了一个基于静态分析的隐通道检测框架。本文首先讨论了隐通道的定义,并对比了现有的隐通道检测方法,分析了其优缺点,在此基础上给出了本文的隐通道检测框架的设计思想和设计框架,该检测框架包含信息流生成和隐通道检测两部分。其次,为了获得源代码中的信息流,论文将C/C++语句划分为简单语句和复合语句两种,分别定义信息流规则,同时针对C/C++语言的流敏感特性,定义了流敏感语句信息流覆盖规则和推导规则,作为信息流规则的补充。最后,为了得到源代码中的隐通道,论文引入了信息流获取算法、信息流筛选算法和信息流图构造算法,并在隐通道信息流特征和信息流图的基础上,设计了隐通道逆向迭代检测算法。经测试,该检测框架可以比较准确地检测出源代码中存在的隐通道。
其他文献
脉冲现象是自然科学乃至社会科学领域中一种普遍而重要的现象,并通常用脉冲微分方程进行刻画。对实际问题,我们还希望用相对快速的外加手段或脉冲扰动来修正系统以达到预期目的
网络计费系统对于运营商与用户来说都是一个极其重要的系统,不仅可以统计网络用户的费用,而且可以监控网络数据流量,优化网络资源分配。先进的计费系统是提供优质网络服务的
随着大数据时代的到来,数据规模和种类急剧增大,如何在海量数据中找出对用户有用的信息至关重要。Skyline查询作为经典的查询算法,能够有效返回原始数据集上的一组较优子集,将Sky
膜生物反应器(简称MBR)作为膜分离技术与生物处理单元相结合的一种新型水处理技术,近几年,它己成为国际研究的热点技术之一,并逐渐被应用于各种工业、生活废水的处理。
本论
无线局域网的应用越来越普遍,但安全问题一直是广大用户和研究者非常关注的问题。IEEE802.lli标准采用了基于可扩展认证协议(EAP, Extensible Authentication Protocol)的IEE
神经元放电活动的研究是神经科学,心理学和人工智能研究中的一个重要领域,其核心是是否可以捕获特定刺激下神经元放电活动的规律性,即研究大脑结构与功能的关系。近20年来,以
本课题针对专利预警机制的专利信息采集、专利信息分析和专利预警三个阶段进行深入研究,充分运用网络爬虫技术、HTTP协议、DOM元素设计并实现了专利数据收集系统,借助Lucene
协同学理论研究的要点是复杂系统宏观特性的质变。20世纪80年代末,Haken教授利用自发模式形成和模式识别之间存在很强的相似性,提出了将协同学理论运用于模式识别中,并根据序
互联网的迅猛发展,为人们提供了各种信息资源,然而,如此庞大的信息量为人们寻找自己真正感兴趣的信息带来了困难。因此,要为用户提供更好的服务,关键是发现用户的潜在访问兴
在医学可视化领域中,如何进行有效的中心线提取一直是研究人员不断进行研究与探索的方向。较好的提取出图像中管状结构的中心线不但可以使医学应用中基于虚拟路径导航诊断方