首页> 中文期刊> 《信息网络安全》 >基于抽象解释理论抽取多态恶意程序特征码

基于抽象解释理论抽取多态恶意程序特征码

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

抽象解释理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近程序不动点语义的理论.文章将该理论应用于恶意程序特征码抽取,通过详细描述抽取过程的各个步骤,提出了一种专门针对多态恶意程序的检测方法,从而为恶意程序检测开辟了新的思路.实践证明所述方法准确、高效.

著录项

来源
《信息网络安全》 |2013年第1期|16-18|共3页
作者
罗文华;
展开▼
作者单位

中国刑事警察学院,辽宁沈阳110854;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
抽象解释; 多态恶意程序; 特征码; 变形器; 解码器; 程序逻辑;

相似文献

中文文献
外文文献
专利

1. 基于抽象解释理论的循环边界计算方法 [J] . 崔少轩 ,喻垚慎 . 计算技术与自动化 . 2018,第004期
2. 基于抽象解释理论的程序验证技术 [J] . 李梦君 ,李舟军 ,陈火旺 . 软件学报 . 2008,第001期
3. 基于完备抽象解释的性质强保留抽象研究 [J] . 钱俊彦 ,赵岭忠 ,蔡国永 . 计算机学报 . 2014,第008期
4. 多态蠕虫特征码自动提取算法 [J] . 陈雪林 . 计算机系统应用 . 2013,第002期
5. 抽象解释理论框架及其应用 [J] . 杨波 ,张明义 ,谢刚 . 计算机工程与应用 . 2010,第008期
6. 基于关键片段的多态蠕虫特征码自动提取算法 [C] . 王星慧 ,许都 . 2007中国西部青年通信学术会议 . 2007
7. 基于抽象解释理论的程序循环边界分析 [A] . 崔少轩 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号