【摘 要】
：
代码迷惑可以使恶意代码绕过基于特征匹配的恶意代码检测器的检测.本文利用抽象解释理论,从程序语义的角度对高鹰等人提出的基于语义的恶意代码检测算法处理代码迷惑的能力进
论文部分内容阅读
代码迷惑可以使恶意代码绕过基于特征匹配的恶意代码检测器的检测.本文利用抽象解释理论,从程序语义的角度对高鹰等人提出的基于语义的恶意代码检测算法处理代码迷惑的能力进行了分析.在对该算法形式化描述的基础上,建立了一个与其等价的基于迹语义的检测器,并通过证明基于迹语义的检测器对于保持变体关系的代码迷惑算法的谕示可靠性和谕示完备性,从理论上阐述了高鹰等人的恶意代码检测算法的谕示可靠性和谕示完备性.
其他文献
IEEE 802.16的安全子层采用了认证客户端/服务器密钥管理协议,在该协议中基站(即服务器)能够对分发给客户端SS的密钥进行控制.IEEE 802.16系列标准的安全主要基于PKM协议.在
提出一种改进的、无需可信第三方的数字短签名技术,解决了无线自组织网络的密钥委托问题,理论分析表明:该签名能够有效抵抗各种伪造攻击,提高了通信安全和执行效率;基于改进
通过科学的信息化技术手段来对于传统的政务管理方式进行改进,可以更好地推进我国政府管理工作的创新发展.在不断开展的政务信息化建设的过程中,我们要结合实际工作情况,科学
建筑行业作为我国国民经济发展过程中的能耗大户,加快传统材料的改革,大力发展应用新型节能、环保、建筑材料是经济发展对建筑行业的必然要求.本文通过分析传统建筑材料存在
本文阐述了纯氧燃烧系统的优点与应用,对岩棉熔体表面加热用纯氧燃烧器以及纯氧系统配置的设计思路和方案做出论述.
由于IEEE 802．11协议的安全漏洞,不能保证网络内信息安全,所以需要另外添加IDS来提高安全性。又由于WLAN传输媒质的限制,现有的有线IDS模式不能直接应用于WLAN,因而需要有特殊的IDS架构来适应无线局域网,特别是有AP的结构化无线网络。
随着我国经济的发展,人们对室内环境的要求也越来越高,装饰材料也相应的得到迅速的发展.文章概述了建筑装饰材料的主要发展方向,论述了室内设计中的传统和新型建筑装饰材料运
随着我国工程设施建设的普及,相应的管道建设已经成为了我国工程建设中非常重要的一个方面,本文针对油气管道工程在建设过程中的质量存在的问题进行了分析,随后提出了相应油
在基于IP的3G移动网络中,SIP将是主要的信令协议。IMS第五版本要求支持SIP的服务器具有拥塞控制能力。SCTP是为IP网传输电话信令而设计的,但它的许多特征也适用于传输SIP消息(如拥塞控制机制)。文章研究了如何用SCTP传输SIP信令消息。
在住宅楼的建设当中会装设有很多的用电设备,如照明灯具、配电网络等等.这就为节能设备的发展提供一个比较广泛的发展空间.为了使住宅楼的节能效果达到最优,相关的电气工程师