收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一类恶意代码检测算法可靠性与完备性证明

曾颖  刘粉林  
【摘要】:代码迷惑可以使恶意代码绕过基于特征匹配的恶意代码检测器的检测.本文利用抽象解释理论,从程序语义的角度对高鹰等人提出的基于语义的恶意代码检测算法处理代码迷惑的能力进行了分析.在对该算法形式化描述的基础上,建立了一个与其等价的基于迹语义的检测器,并通过证明基于迹语义的检测器对于保持变体关系的代码迷惑算法的谕示可靠性和谕示完备性,从理论上阐述了高鹰等人的恶意代码检测算法的谕示可靠性和谕示完备性.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 安励勉;;沈阳民航通信传输网络建设的几点思考[J];中国-东盟博览;2011年06期
2 Todd Borkowski;;MEMS麦克风可增强音频系统的质量和可靠性[J];电子产品世界;2011年11期
3 王喜文;程郁离;罗雅丽;;诊断试验可靠性评价SAS程序实现[J];中国卫生统计;2011年05期
4 何玉娟;罗宏伟;恩云飞;;偏压条件对光耦合器总剂量辐照效应的影响[J];电子器件;2011年05期
5 郭御风;郭诵忻;龚锐;;一种面向多核处理器I/O系统软错误容错方法[J];计算机工程与科学;2011年10期
6 高国威;任宝胜;;工作台控制器的测试系统设计与应用[J];吉林化工学院学报;2011年09期
7 张军涛;;网络电子交易系统需求分析与实现[J];苏州市职业大学学报;2011年03期
8 王勇;;信息的多重不确定性及其在信息安全中的应用研究[J];信息网络安全;2011年10期
9 杨琼;崔西宁;周波;;事务型文件系统存储管理机制的研究与实现[J];航空计算技术;2011年05期
10 何沛霖;黄国勤;于今;;智能液压容错控制技术在钻机的应用[J];兵工自动化;2011年11期
11 蒋湘君;陈平;;对于提高ESD可靠性的几点看法[J];石油化工自动化;2011年05期
12 安辉耀;卢锡城;彭伟;龚正虎;;MANET中基于簇的多路径动态源路由(CMDSR)[J];计算机研究与发展;2006年03期
13 江清明;罗宏伟;周继承;;SCR器件在深亚微米CMOS静电保护电路中的应用[J];电子工艺技术;2006年05期
14 郭大琪;黄强;;倒装芯片下填充工艺的新进展(一)[J];电子与封装;2008年01期
15 张定华;程云勇;卜昆;张顺利;;考虑弯扭变形的叶片模型配准方法[J];航空学报;2009年12期
16 杜银波;凌学民;;微波组件生产中多余物的来源与预防措施[J];半导体技术;2011年03期
17 张兴;王品红;但伟;曹飞;陈春霞;邹泽亚;李祖安;;光电探测器组件辐照后性能退化的噪声表征[J];半导体光电;2011年05期
18 郭斌;;双绞线在图像传输系统中的应用探讨[J];信息通信;2011年05期
19 风雷;;美帝将在坦克上使用电子计算机和激光器[J];微纳电子技术;1971年04期
20 胡鹏程;MSZ-2数字测速仪简介[J];工程机械;1978年03期
中国重要会议论文全文数据库 前10条
1 马浩云;;力求提高单缸柴油机产品活力的途径[A];2009海峡两岸机械科技论坛论文集[C];2009年
2 周真;马德仲;于晓洋;秦勇;张丽娜;;基于故障数据统计的电磁流量计失效模式分析[A];2009中国仪器仪表与测控技术大会论文集[C];2009年
3 包亦望;刘小根;邱岩;王秀芳;;真空玻璃结构功能一体化[A];2010全国玻璃技术交流研讨会论文集[C];2010年
4 田玲;申永革;;尿液化验制片机的反求研制[A];第一届全国流体动力及控制工程学术会议论文集(第二卷)[C];2000年
5 文礼;;动车组可靠性技术与维修[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年
6 刘显鹏;;浅谈广播设备全寿命管理[A];2006全国广播电视发射技术论文集(1)[C];2006年
7 李铎;陈皓;杨科;;晶体振荡器的抗振设计[A];中国电子学会第十四届电子元件学术年会论文集[C];2006年
8 冯彦君;华更新;杨桦;周新发;范立明;;国外星载容错计算机技术及最新进展(综述)[A];全国第十二届空间及运动体控制技术学术会议论文集[C];2006年
9 ;中国电子学会可靠性分会[A];2007'第十二届全国可靠性物理学术讨论会论文集[C];2007年
10 廖超;来萍;李斌;崔晓英;路香香;;硅脉冲微波功率器件增益退化机理研究[A];2007'第十二届全国可靠性物理学术讨论会论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 王金凤;煤矿生产物流系统研究[D];天津大学;2005年
2 金海松;轿车信息集中控制系统的关键技术研究[D];武汉理工大学;2005年
3 赵儆;电力市场中的可靠性理论研究[D];清华大学;2005年
4 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
5 张红;可移动类进程代数及其静态分析技术在系统生物学领域中应用的研究[D];吉林大学;2008年
6 唐连生;突发事件下的车辆路径问题研究[D];西南交通大学;2008年
7 万武南;分布式安全存储系统纠删码技术的研究[D];中国科学院研究生院(成都计算机应用研究所);2006年
8 姚剑波;基于句法分析的安全信息流[D];贵州大学;2006年
9 辛玉红;供应链系统鲁棒性研究[D];中国航天第二研究院;2008年
10 吴艳霞;基于汇编语言的控制流错误检测算法研究[D];哈尔滨工程大学;2008年
中国硕士学位论文全文数据库 前10条
1 马欣;现役长输管道风险分析技术研究[D];兰州理工大学;2005年
2 纪德洲;131.50.3550型三排滚柱式回转支承的研究与开发[D];中国农业大学;2005年
3 王明新;铁道车辆车轴可靠性与安全性分析系统[D];西南交通大学;2005年
4 胡敬朋;综采工作面人-机-环境系统可靠性研究[D];安徽理工大学;2005年
5 张丹;配电网络优化规划和综合评估方法的研究[D];郑州大学;2005年
6 郑志品;定距桨变频型交流轴带发电机的研究[D];上海海事大学;2004年
7 郭云志;基于极限状态法的起重机金属结构设计研究[D];大连理工大学;2006年
8 王吉平;城市道路网络系统可靠性研究[D];长安大学;2005年
9 王婷;混凝土重力坝的可靠性分析[D];辽宁工程技术大学;2005年
10 刘炜烨;基于DSP的电动执行器数字控制系统研究与设计[D];大连海事大学;2006年
中国重要报纸全文数据库 前10条
1 桑雪骐;家电可靠性开始标准化进程[N];经理日报;2010年
2 本报记者 陈彬 向杰;高可靠 易维修 好保障[N];科技日报;2009年
3 本报记者 桑雪骐;未来 保修期将变保证期[N];中国消费者报;2010年
4 科信;可靠性保障工程建设持续推进[N];中国航天报;2009年
5 李铭;新车可靠性明显提升[N];中国交通报;2010年
6 本报记者 贾鹏雷;联想借“可靠性”撬动市场[N];计算机世界;2004年
7 记者 索阿娣 实习记者 王娟;切实提高核心部件可靠性安全性[N];中国航天报;2009年
8 ;提升便携式产品电源管理方案可靠性[N];中国电子报;2009年
9 记者 刘霞;聚焦可靠性 质量上台阶[N];中国质量报;2009年
10 高岚;可靠性第一 稳定性第一[N];中国计算机报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978