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

作者：何博远浙江大学

学位级别：博士

计算机与互联网技术的快速发展,带来了一场计算机软件领域的技术革命。从PC时代的单机软件,到互联网时代的分布式软件,再到如今云计算时代倡导的软件服务,计算机软件的应用得到了前所未有的普及,软件已成为当代社会基础设施的重要组成部... 详细信息

计算机与互联网技术的快速发展,带来了一场计算机软件领域的技术革命。从PC时代的单机软件,到互联网时代的分布式软件,再到如今云计算时代倡导的软件服务,计算机软件的应用得到了前所未有的普及,软件已成为当代社会基础设施的重要组成部分,深刻影响着社会生活的方方面面。然而,随着功能特性的不断增强,软件的规模和复杂性也呈现快速增加的趋势,使得传统程序分析手段在软件可靠性和安全性分析领域的应用受到了前所未有的挑战。程序分析(Program Analysis),是指对计算机程序行为的正确性、健壮性、安全性等属性进行自动化分析的过程。目前,程序分析技术被广泛应用于软件的开发与测试过程中,对提升软件质量具有关键意义。从总体上看,当前程序分析技术在软件可靠性与安全性分析方面的应用主要存在以下三大关键问题:1.超大规模程序中的复杂漏洞检测问题。软件漏洞的本质是代码缺陷,可能受软件设计与实现、硬件架构与执行环境等诸多因素的影响。因此,针对软件漏洞,尤其是以逻辑漏洞为代表的复杂软件漏洞的自动化大规模检测技术依然存在很多问题。由于逻辑漏洞一般与软件的特定功能相关,其隐蔽性往往更强,特征通常也更为复杂,因而缺乏有效的检测手段。正是在这样的背景下,如何设计一种针对逻辑漏洞的准确、高效的检测方法,使其能够适用于超大规模软件,就成为了一个亟待解决的问题。2.针对软件中第三方异构插件的大规模行为分析问题。近年来,随着移动互联网的兴起,受软件即服务理念的影响,软件的插件化成为了新的趋势。越来越多的软件厂商开始以第三方插件的方式将自己的产品提供给移动开发者。考虑到第三方插件与软件本身在结构和功能上存在的差异性,已有的研究方法尚不能对这类异构插件的软件行为进行有效分析,因此如何为异构的第三方软件插件提供细粒度与大规模的行为分析就成为了一个需要解决的问题。3.复杂软件行为分析方法的准确性与完整性问题。近年来,随着移动应用程序的快速发展,一方面,代码混淆、动态代码加载技术的广泛应用使得传统的静态分析方法受到了很大限制。另一方面,日趋复杂的用户界面交互逻辑也使得传统动态分析方法的有效性大大降低。考虑到已有的软件分析方法在面对复杂软件时,一般难以做到既兼顾静态分析与动态分析的优点,又避免它们的缺点。因此,需要设计一种针对复杂软件的分析方法,能够在保证高效准确的同时,也具备较高的代码覆盖率与良好的可扩展性。针对上述三大关键问题,本文做了如下工作:1.针对现有程序分析方法在超大规模程序中的复杂漏洞检测方面存在的不足,本文基于程序依赖图对复杂逻辑漏洞的模式特征进行抽象,并利用图挖掘的技术原理,提出了一种适用于超大规模软件的逻辑漏洞检测方法,实现了复杂逻辑漏洞模式特征的自动化精确建模与匹配。根据上述方法,本文实现了一个基于API模式特征的自动化逻辑漏洞检测系统,实现了超大规模软件中复杂逻辑漏洞的准确高效检测。实验表明,本文提出的逻辑漏洞检测方法适用于多种平台或架构的软件系统,具备良好的通用性。另外,实验过程中发现的38个0-day逻辑漏洞,也从另一方面说明了该方法的有效性。2.针对现有研究方法对软件的第三方异构插件进行大规模分析中的不足,本文从移动广告网络这一典型的软件第三方异构插件入手,利用静态分析技术实现了基于广告API的软件行为分析,并总结出了开发者对于不同第三方广告插件的使用偏好,以及用户对不同广告软件行为的喜好。实验结果表明,大部分移动开发者对第三方广告插件的使用持谨慎态度,过多或不恰当的广告行为会引起用户的反感,从而导致开发者广告收益的下降。3.针对现有程序分析方法在应对复杂软件分析时表现出的效率、准确性和可扩展性等方面的不足,本文结合静态分析与动态分析的优势,设计并实现了一种基于函数调用图的Android应用程序行为混合分析方法。该方法能够对混淆代码和隐藏软件真实行为的应用程序进行准确高效的行为分析,从而提高软件的可靠性与安全性。根据上述方法,本文实现了一个针对Android应用程序的混合分析框架。实验表明,基于函数调用图的混合分析技术能够完整、高效、准确地分析Android应用程序的各种软件行为。相比于单纯使用静态或动态分析方法,其代码覆盖率有显著提高。

关键词：程序分析漏洞检测软件行为分析 SSL/TLS 移动广告 Android应用程序

来源：评论

学校读者我要写书评

暂无评论

VMI技术在软件行为分析中的应用研究

VMI技术在软件行为分析中的应用研究

引用

作者：姜秋生西安工业大学

学位级别：硕士

虚拟机自省(virtual machine introspection,VMI)技术充分利用虚拟机管理器的较高权限,可以实现在单独的虚拟机中部署安全工具对目标虚拟机进行监测,为进行各种安全研究工作提供了很好的解决途径,进而随着虚拟化技术的发展,VMI技术逐渐... 详细信息

虚拟机自省(virtual machine introspection,VMI)技术充分利用虚拟机管理器的较高权限,可以实现在单独的虚拟机中部署安全工具对目标虚拟机进行监测,为进行各种安全研究工作提供了很好的解决途径,进而随着虚拟化技术的发展,VMI技术逐渐成为一种应用趋势。利用VMI技术监测虚拟机获得的系统状态信息数据可以作为软件行为分析的数据来源,软件行为分析研究工作结合VMI技术,可以充分利用虚拟化平台的高隔离性、有限资源的充分利用等优势。本文采用VMI技术在Xen虚拟化平台上对虚拟机进行监测,获得进行软件行为分析所需要的数据,研究软件行为的描述方法、分析方法,建立能够描述软件行为的指标体系,并对该体系进行量化,从而分析软件的行为。本文工作主要有以下几方面：1.为了更深入的理解和应用VMI技术,本文对VMI技术进行了分析研究。概括出了VMI的概念,论述其实现原理和实现方式,详细地介绍了VMI技术在不同领域的研究进展,探索VMI技术应用于软件行为分析研究的方法和途径。2.使用XenAccess自省库提供的接口函数,获得被监测虚拟机的运行状态信息数据,为分析软件行为提供信息来源。3.对软件行为分析的相关技术进行研究,包括描述软件行为的建模方法,研究软件行为的分析方法,建立描述软件行为的指标体系并对该指标体系进行量化。4.使用量化的指标体系对获得的数据进行分析,分析软件的行为。

关键词：虚拟机自省虚拟化技术指标体系软件行为分析

来源：评论

学校读者我要写书评

暂无评论

基于Android平台的软件行为分析系统的设计与实现

基于Android平台的软件行为分析系统的设计与实现

引用

作者：刘敏北京邮电大学

学位级别：硕士

智能手机从诞生之日起,就注定要成为人们生活中的一部分。近年来,智能手机系统发展迅速,尤其是Google公司开发的Android系统。在众多移动平台当中,Android平台的手机使用量最大,市场占用率最高。但是Android系统本身的一些缺陷,使恶意... 详细信息

智能手机从诞生之日起,就注定要成为人们生活中的一部分。近年来,智能手机系统发展迅速,尤其是Google公司开发的Android系统。在众多移动平台当中,Android平台的手机使用量最大,市场占用率最高。但是Android系统本身的一些缺陷,使恶意程序大规模泛滥。本课题设计并实现了一套面向Android平台的软件行为分析系统,用来分析应用程序的行为,判断其风险。本文首先介绍了课题的背景和意义,然后介绍了Android系统、Android安装文件、Android安全性、Android软件行为静态分析方法,Android软件行为动态分析方法等相关技术背景。随后通过详细的需求说明,概要设计之后,将系统划分为九个模块：apk解析模块、dex分析模块、调用分析模块、注入模块、拦截模块、触发模块、行为分析模块、风险评估模块以及日志记录模块。之后再针对这些模块分别作了详细的设计。最后在系统完成之后作了全面的系统的测试。本课题将静态分析方法与动态分析方法相结合,克服以前单一检测方法的缺陷,将一整套流程系统化,结构化,从而做到高效率,高质量的软件行为分析,最后对软件做出风险评估。如果将本文实现的系统应用于智能终端安全领域,那么能够从根本上减少用户接触恶意软件的机会,减少用户安全受到威胁的几率,在智能终端安全领域将起到很大的作用。

关键词： Anroid baksmali hook 软件行为分析风险评估

来源：评论

学校读者我要写书评

暂无评论

基于软件行为分析的测试服务系统的设计与实现

基于软件行为分析的测试服务系统的设计与实现

引用

作者：沈毅南京大学

学位级别：硕士

随着软件规模的不断扩增,以及代码量和软件复杂度的不断提升,百度公司在软件研发与测试过程中面临：测试数据量大,测试周期较长；程序结构复杂,人工错误定位成本较高等问题。测试人员在设计测试用例时很难涵盖所有的使用场景,这就造成... 详细信息

随着软件规模的不断扩增,以及代码量和软件复杂度的不断提升,百度公司在软件研发与测试过程中面临：测试数据量大,测试周期较长；程序结构复杂,人工错误定位成本较高等问题。测试人员在设计测试用例时很难涵盖所有的使用场景,这就造成了代码测试不完全,没有被测试到的分支和路径很可能导致线上服务错误。因此测试过程需要大量测试数据来保证测试的多样性和完整性,但是大规模的测试数据会严重影响测试效率。在发生错误之后,由于程序模块规模较大、模块之间交互复杂,开发人员需要耗费大量的时间查找程序错误的准确位置。传统的软件调试和查错手段对开发人员的效率造成了极大的影响。为解决以上问题,本文开发了一个基于软件行为分析的测试服务系统,它能够辅助使用者进行自动化测试数据筛选和自动化错误定位。本系统主要分为三个模块,分别是自动化测试用例执行与执行信息收集模块、测试数据筛选模块以及自动化错误定位模块。自动化测试用例执行框架与执行信息收集模块是本系统的基础,负责构建测试程序、执行测试用例、收集并处理执行信息等。测试数据筛选模块结合执行框架的输出,在满足测试数据的多样性与完整性的约束下对测试数据进行筛选。自动化错误定位模块采用图挖掘或者其它的错误定位算法处理执行框架输出的执行序列信息,输出可能出错的程序位置。自动化测试用例执行与执行信息收集模块主要采用C语言和Python开发,测试数据筛选部分采用Python开发,自动化错误定位模块采用C++开发,模块之间松耦合,通过文件和数据库进行交互,具有较好的灵活性和可扩展性。目前该系统已经应用到自然语言处理组的开发与测试工作中,有效地保证了测试数据测多样性和完整性并减少了测试数据量,提高了测试效率：辅助开发人员快速定位错误,提高开发效率。同时本系统具有较高的可扩展性,可以灵活添加新的筛选或者定位算法,以及其它软件开发任务。

关键词：软件行为分析覆盖测试频繁子图挖掘信息增益 GCC

来源：评论

学校读者我要写书评

暂无评论

基于Android沙箱的软件行为分析系统的设计与实现

基于Android沙箱的软件行为分析系统的设计与实现

引用

作者：李彬北京邮电大学

学位级别：硕士

随着Android手机操作系统的流行,该平台上的恶意软件的数量不断增多,技术也在不断发展。当前的一些软件行为分析技术已经不能满足新的需求。在此背景下,迫切需要一种新的行为分析手段。因此,需要实现一个基于Android沙箱的软件行为分析... 详细信息

随着Android手机操作系统的流行,该平台上的恶意软件的数量不断增多,技术也在不断发展。当前的一些软件行为分析技术已经不能满足新的需求。在此背景下,迫切需要一种新的行为分析手段。因此,需要实现一个基于Android沙箱的软件行为分析系统。论文首先通过介绍Android OS的发展、智能手机面临的安全问题、恶意软件的研究现状三个方面引出本课题。接着,介绍设计和实现系统所需的一些技术背景知识,包括Android系统架构、Dalvik虚拟机、Hook API技术、Android OS安全机制等。然后,在需求分析阶段,明确了系统需求,即通过Hook敏感API技术,实现对软件的行为分析。这些敏感API包括：联网、短信、操作数据库、窃取用户隐私、通话等。在概要设计阶段,将系统划分为代码注入模块、Hook模块、数据传递模块、行为日志生成及分析四个模块。在每个模块设计中,结合用例图、静态类图及一些系统框图给出了每个模块的设计思路。在系统的详细设计与实现阶段,对每个模块的实现进行介绍,并对一些核心类及其函数进行重点阐述。在系统测试阶段,根据给出的测试用例,对系统进行测试。在论文的结尾,分析了系统的不足之处,并对整篇论文进行了总结。本论文所设计的基于Android沙箱的软件行为分析系统已经实现,现己经投入使用。

关键词： Android 软件行为分析 Hook技术

来源：评论

学校读者我要写书评

暂无评论

一种基于硬件辅助虚拟化的软件行为分析器的设计与实现

引用

网络安全技术与应用 2013年第7期 10-11页

作者：孙亮寇晓蕤中国华艺广播公司福建350001

基于虚拟化技术的软件行为分析是近年来出现的分析软件的方法。文本提出一种基于硬件辅助虚拟化技术的软件行为分析器——HVA。HVA是一个利用了安全虚拟机(SVM)、二级页表(NPT)和虚拟机自省等多种虚拟化技术完成的、专门针对软件行为分... 详细信息

基于虚拟化技术的软件行为分析是近年来出现的分析软件的方法。文本提出一种基于硬件辅助虚拟化技术的软件行为分析器——HVA。HVA是一个利用了安全虚拟机(SVM)、二级页表(NPT)和虚拟机自省等多种虚拟化技术完成的、专门针对软件行为分析的微型VMM。结果表明,HVA在软件行为分析方面表现良好。

关键词：硬件辅助虚拟化软件行为分析虚拟机自省二级页表外部设备访问保护

来源：评论

学校读者我要写书评

暂无评论

基于资源访问规则与行为截获的软件封装方法

引用

高技术通讯 2012年第7期22卷 675-682页

作者：朱克楠尹宝林北京航空航天大学计算机学院软件开发环境国家重点实验室北京100191

在分析软件系统接口框架体系和软件资源访问接口特征之后，给出了一个通用资源定义模型及其描述语言和一个资源访问规则映射机制及其描述语言。在此基础之上，提出了一种面向二进制的基于资源访问抽象描述和软件行为截获的黑盒遗留软件... 详细信息

在分析软件系统接口框架体系和软件资源访问接口特征之后，给出了一个通用资源定义模型及其描述语言和一个资源访问规则映射机制及其描述语言。在此基础之上，提出了一种面向二进制的基于资源访问抽象描述和软件行为截获的黑盒遗留软件封装方法，而且设计并实现了一个自动软件封装器原型TinyWrapper。对该方法在典型的软件重用场景中的作用进行了评估，结果表明，方法可以成功处理场景中的所有复用需求，同时验证了该方法的有效性，证明了该方法容易部署且对改造后的遗留软件产生的负载低。

关键词：遗留软件软件封装资源特征规则映射软件行为分析行为截获

来源：评论

学校读者我要写书评

暂无评论

基于FCM-LSTM的软件运行资源变化规律方法研究

引用

微型电脑应用 2024年第3期40卷 1-6页

作者：李春生王胡景张可佳富宇东北石油大学计算机与信息技术学院黑龙江大庆163319

软件在运行过程中会消耗资源,此过程存在两个问题,一是难以确定资源消耗发生变化的拐点,二是同一软件同一模块运行不同任务时,所产生的数据样本数量级差异过大。基于此,提出一种结合FCM和LSTM的算法研究软件运行资源变化规律的方法,利用... 详细信息

软件在运行过程中会消耗资源,此过程存在两个问题,一是难以确定资源消耗发生变化的拐点,二是同一软件同一模块运行不同任务时,所产生的数据样本数量级差异过大。基于此,提出一种结合FCM和LSTM的算法研究软件运行资源变化规律的方法,利用FCM算法实现不同数量级样本间的群聚,接着把处理后的样本放入LSTM模型进行训练,进而得到资源消耗变化曲线。实验表明,通过资源消耗变化曲线能够确定拐点的类型和其出现的位置区间,进而找到软件运行资源变化规律。另外,通过对比分析,FCM-LSTM模型在解决此问题上的准确率高于其他同类型的传统算法。

关键词：资源消耗 FCM LSTM 软件行为分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：