计算机应用 ›› 2014, Vol. 34 ›› Issue (12): 3511-3514.
收稿日期:
2014-07-02
修回日期:
2014-09-16
出版日期:
2014-12-01
发布日期:
2014-12-31
通讯作者:
林伟
作者简介:
基金资助:
国家科技支撑计划项目;国家自然科学基金资助项目;郑州市科技创新团队项目
LIN Wei,ZHU Yuefei,SHI Xiaolong,CAI Ruijie
Received:
2014-07-02
Revised:
2014-09-16
Online:
2014-12-01
Published:
2014-12-31
Contact:
LIN Wei
摘要:
离线污点分析中的针对轨迹记录文件的污点传播分析的时间开销非常巨大,因此研究快速高效的污点传播分析具有重要意义。针对上述问题,提出了一种基于语义规则的污点传播分析优化方法。该方法定义了一种指令的语义描述规则,用于描述指令的污点传播语义,利用中间语言自动生成汇编指令的语义规则,再根据语义规则进行污点传播分析,避免了现有污点分析方法中指令重复执行导致的重复语义解析,提高了污点分析的效率。实验结果表明,所提方法能够有效降低污点传播分析的时间开销,仅占传统基于中间语言污点分析的14%左右,提高了分析效率。
中图分类号:
林伟 祝跃飞 石小龙 蔡瑞杰. 基于语义规则的污点传播分析优化方法[J]. 计算机应用, 2014, 34(12): 3511-3514.
LIN Wei ZHU Yuefei SHI Xiaolong CAI Ruijie. Optimization method of taint propagation analysis based on semantic rules[J]. Journal of Computer Applications, 2014, 34(12): 3511-3514.
[1]LU K. The vulnerabilities detection technology research and implementation based on dynamic taint analysis [D]. Chengdu: University of Electronic Science and Technology of China, 2013.(陆开奎. 基于动态污点分析的漏洞攻击检测技术研究与实现[D]. 成都:电子科技大学, 2013.) |
[1] | 毕文婷 林海涛 张立群. 基于多阶段演化信号博弈模型的移动目标防御决策算法[J]. 计算机应用, 0, (): 0-0. |
[2] | 朱玉娜, 张玉涛, 闫少阁, 范钰丹, 陈韩托. 基于半监督子空间聚类的协议识别方法[J]. 计算机应用, 2021, 41(10): 2900-2904. |
[3] | 肖跃雷, 邓小凡. 基于证书的有线局域网安全关联方案改进与分析[J]. 计算机应用, 2021, 41(7): 1970-1976. |
[4] | 杜心雨, 王化群. LTE-A网络中基于动态组的有效的身份认证和密钥协商方案[J]. 计算机应用, 2021, 41(6): 1715-1722. |
[5] | 王垚, 孙国梓. 基于聚类和实例硬度的入侵检测过采样方法[J]. 计算机应用, 2021, 41(6): 1709-1714. |
[6] | 葛丽娜, 胡雨谷, 张桂芬, 陈园园. 云计算环境基于客体属性匹配的逆向混合访问控制方案[J]. 计算机应用, 2021, 41(6): 1604-1610. |
[7] | 郭帅, 苏旸. 基于数据流的加密流量分类方法[J]. 计算机应用, 2021, 41(5): 1386-1391. |
[8] | 陈权 李莉 陈永乐 段跃兴. 面向深度学习可解释性的对抗攻击算法[J]. 计算机应用, 0, (): 0-0. |
[9] | 张全龙, 王怀彬. 基于膨胀卷积和门控循环单元组合的入侵检测模型[J]. 计算机应用, 2021, 41(5): 1372-1377. |
[10] | 唐延强, 李成海, 宋亚飞. 基于改进粒子群优化和极限学习机的网络安全态势预测[J]. 计算机应用, 2021, 41(3): 768-773. |
[11] | 杭梦鑫, 陈伟, 张仁杰. 基于改进的一维卷积神经网络的异常流量检测[J]. 计算机应用, 2021, 41(2): 433-440. |
[12] | 欧彬利, 钟夏汝, 代建华, 杨田. 基于变精度覆盖粗糙集的入侵检测方法[J]. 计算机应用, 2020, 40(12): 3465-3470. |
[13] | 杨建喜, 张媛利, 蒋华, 朱晓辰. 边缘计算中基于深度Q网络的物理层假冒攻击检测方法[J]. 计算机应用, 2020, 40(11): 3229-3235. |
[14] | 陈旖, 张美璟, 许发见. 基于一维卷积神经网络的HTTP慢速DoS攻击检测方法[J]. 计算机应用, 2020, 40(10): 2973-2979. |
[15] | 王韫烨, 程亚歌, 贾志娟, 付俊俊, 杨艳艳, 何宇矗, 马威. 基于安全多方的区块链可审计签名方案[J]. 计算机应用, 2020, 40(9): 2639-2645. |
阅读次数 | ||||||
全文 |
|
|||||
摘要 |
|
|||||