检索结果-内蒙古大学图书馆

计算机应用 2020年第1期40卷 103-115页

作者：武振华张超孙贺颜学雄战略支援部队信息工程大学数学工程与先进计算国家重点实验室郑州450001 清华大学网络科学与网络空间研究院北京100084 陆军工程大学指挥控制工程学院南京210007

近年来软件供应链(SSC)安全问题频发,给软件安全研究带来了巨大挑战。在每天新发布的海量软件的情况下,自动化SSC污染检测变得非常重要。首先剖析和阐述了SSC污染检测问题,之后着眼于在SSC下游开展污染检测的需求,详细介绍了程序逆向分... 详细信息

近年来软件供应链(SSC)安全问题频发,给软件安全研究带来了巨大挑战。在每天新发布的海量软件的情况下,自动化SSC污染检测变得非常重要。首先剖析和阐述了SSC污染检测问题,之后着眼于在SSC下游开展污染检测的需求,详细介绍了程序逆向分析技术及其在SSC污染检测中的应用,最后总结分析了现有技术在SSC污染检测任务中存在的不足与挑战,给出了克服这些挑战的若干值得研究的课题。

关键词：软件供应链污染检测程序逆向分析软件安全

来源：评论

学校读者我要写书评

暂无评论

软件在线升级劫持漏洞快速检测技术研究

软件在线升级劫持漏洞快速检测技术研究

引用

作者：吕小少战略支援部队信息工程大学

学位级别：硕士

随着互联网和软件工程技术的快速发展,针对软件在线升级的劫持攻击,已经成为影响网络空间安全最具威胁的手段之一。目前针对软件升级漏洞检测问题,大多集中在手工逆向调试分析和升级网络流量分析等方面,效率普遍较低。由于存在升级劫持... 详细信息

随着互联网和软件工程技术的快速发展,针对软件在线升级的劫持攻击,已经成为影响网络空间安全最具威胁的手段之一。目前针对软件升级漏洞检测问题,大多集中在手工逆向调试分析和升级网络流量分析等方面,效率普遍较低。由于存在升级劫持漏洞的软件数量十分庞大,针对软件升级漏洞的快速自动化检测已经成为一个迫切的课题。为解决上述问题,本文研究基于程序逆向分析的软件升级漏洞快速检测方法,通过对软件升级行为的安全性分析,实现对软件升级漏洞的快速检测。首先深入研究软件升级的基本流程及相应保护机制,构建软件升级漏洞分类模型,作为漏洞检测的支撑。然后为实现对软件升级功能的快速逆向分析,通过升级语义信息与程序静态分析结合的方法,对软件中的升级代码进行快速静态逆向定位。最后,提出了基于软件升级行为链分析的漏洞自动化分析与检测方法,对升级漏洞进行快速检测。同时,在前面研究基础之上设计并实现了软件升级漏洞检测系统,最终实现对一定数量的软件升级漏洞进行快速检测。本文的创新点如下:1、构建软件升级漏洞分类模型。在深入研究软件升级一般流程及安全机制的基础上,定义了软件升级漏洞分类模型。并根据软件升级的不同阶段将软件升级漏洞分为软件升级过程中通信协议安全漏洞和软件升级包校验漏洞。为说明软件升级漏洞模型划分的合理性,深入跟踪实际存在相关漏洞的软件的升级行为,研究每种漏洞的形式及原理。该模型为升级漏洞的分析检测提供了关键支撑。2、提出一种基于软件升级语义信息导向的升级功能逆向定位的方法。对软件升级功能的逆向定位是实现快速分析软件升级行为的重要提前。本文借助自然语言处理和机器学习文本分类方法,对软件的升级语义信息建立分类模型,自动预测软件中升级相关的语义信息。并在此基础上,借助升级语义信息利用程序静态分析方法在升级程序中对升级功能进行逆向定位。该方法解决了在复杂软件中对升级功能逆向定位的难题,同时也是对软件升级行为逆向分析的重要基础。3、提出基于软件升级行为链分析的漏洞快速检测方法。基于软件升级漏洞本身的特点,提出软件升级行为链分析的漏洞检测方法。首先定义了软件升级行为链,包含若干个网络通信行为和密码行为节点。在升级功能逆向定位的基础上,利用动静结合的程序分析方法对软件升级行为链进行提取,并在此基础上借助漏洞匹配规则检测升级行为链的漏洞。实验证明,该检测方法能自动化对升级行为漏洞进行检测,在保证可靠性的情况下,较大提高了检测速度。4、设计并实现了软件升级漏洞分析与检测系统。该系统主要由静态分析模块和动态分析模块构成。静态分析模块对输入的软件进行升级功能逆向定位和静态提取软件升级行为;动态分析模块利用动态二进制插桩技术及数据流分析技术对软件升级行为进行跟踪,并根据漏洞匹配规则检测升级行为漏洞。为验证该系统快速检测软件升级漏洞的能力,从互联网搜集安装了涵盖16个种类共486个软件,利用原型系统进行分析,发现了197个软件存在升级漏洞。最后对该系统的性能进行了详细的对比分析,结果显示了系统检测升级漏洞的可靠性与高效性,证明本文方法能够较好地解决软件升级漏洞快速检测的问题。

关键词：软件升级劫持漏洞语义信息分类程序逆向分析密码误用 API函数

来源：评论

学校读者我要写书评

暂无评论

木马恶意程序电子数据取证环境的构建

引用

警察技术 2012年第2期 39-42页

作者：罗文华中国刑事警察学院

在实际的电子数据取证工作中,经常会碰到木马程序恶意行为方面的鉴定要求。针对这种需求,本文结合实践应用中的实际需要,从程序逆向分析、内存信息调查、系统文件监控、网络数据传输等方面论述木马恶意程序电子数据取证环境构建所需的... 详细信息

在实际的电子数据取证工作中,经常会碰到木马程序恶意行为方面的鉴定要求。针对这种需求,本文结合实践应用中的实际需要,从程序逆向分析、内存信息调查、系统文件监控、网络数据传输等方面论述木马恶意程序电子数据取证环境构建所需的相关工具与技术,并归纳总结取证调查过程中需要注意的事项,希望能够为公安实战部门的电子数据取证和侦查工作提供一定的技术帮助。

关键词：木马恶意程序电子数据取证程序逆向分析内存信息调查系统文件监控网络数据传输

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：