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

计算机科学与探索 2019年第11期13卷 1839-1851页

作者：吕成成张龙邓茜曾凡平严俊张健中国科学技术大学计算机科学与技术系合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026

为了方便用户查询感兴趣的资源,许多Web应用程序会提供搜索功能。如果搜索功能存在故障,将会导致Web应用程序的功能异常,甚至会引发安全问题,因而需要对其进行充分的测试。可以使用组合测试的方法生成测试用例测试Web应用程序的搜索功能... 详细信息

为了方便用户查询感兴趣的资源,许多Web应用程序会提供搜索功能。如果搜索功能存在故障,将会导致Web应用程序的功能异常,甚至会引发安全问题,因而需要对其进行充分的测试。可以使用组合测试的方法生成测试用例测试Web应用程序的搜索功能,其中每一个测试用例是由特殊字符组成的字符串。对于引起系统错误的测试用例,使用组合测试错误定位的方法找到系统错误是由哪些字符组合引起的。使用该方法对学校、政府和事业单位的96个网站进行了测试,发现其中23个网站在搜索某些特殊字符组合时,会引起服务器错误响应。错误定位结果表明,56%的服务器错误响应是由"%""<""’""\"和其他字符的组合引起的。

关键词： Web测试组合测试错误定位

来源：评论

学校读者我要写书评

暂无评论

多维敏感特征的Android恶意应用检测

引用

计算机科学 2019年第2期46卷 95-101页

作者：谢念念曾凡平周明松秦晓霞吕成成陈钊中国科学技术大学计算机科学与技术学院合肥230026 安徽省计算与通讯软件重点实验室合肥2300262

应用程序的行为语义在Android恶意应用检测中起着关键作用。为了区分应用的行为语义,文中提出适合用于Android恶意应用检测的特征和方法。首先定义广义敏感API,强调要考虑广义敏感API的触发点是否与UI事件相关,并且要结合应用实际使用... 详细信息

应用程序的行为语义在Android恶意应用检测中起着关键作用。为了区分应用的行为语义,文中提出适合用于Android恶意应用检测的特征和方法。首先定义广义敏感API,强调要考虑广义敏感API的触发点是否与UI事件相关,并且要结合应用实际使用的权限。该方法将广义敏感API及其触发点抽象为语义特征,将应用实际使用的权限作为语法特征,再利用机器学习分类方法自动检测应用是否具有恶意性。在13226个样本上进行了对比实验,实验结果表明,该方法的分析速度快且开销小,选取的特征集使Android恶意应用检测得到很好的结果;经机器学习分类技术的比较,我们选择随机森林作为检测方案中的分类技术,所提特征策略的分类准确率达到96.5%,AUC达到0.99,恶意应用的分类精度达到98.8%。

关键词：安卓恶意应用检测静态分析语法特征语义特征机器学习

来源：评论

学校读者我要写书评

暂无评论

检测Android应用的权限提升漏洞

引用

电子技术（上海） 2017年第6期46卷 75-79页

作者：仲星球曾凡平程志超谢念念秦晓霞郭树利中国科学技术大学计算机科学与技术学院合肥230026 安徽省计算与通讯软件重点实验室合肥230026

利用Android平台的组件间通信机制,一个应用可以调用其他应用的某些功能,这使得应用间通信和数据共享很方便。为了保证系统的安全,Android操作系统使用了权限机制,即通过为敏感API设置访问权限来确保系统的安全。但是由于恶意应用可以... 详细信息

利用Android平台的组件间通信机制,一个应用可以调用其他应用的某些功能,这使得应用间通信和数据共享很方便。为了保证系统的安全,Android操作系统使用了权限机制,即通过为敏感API设置访问权限来确保系统的安全。但是由于恶意应用可以通过组件间通信机制(ICC)利用其他应用暴露的组件间接地调用敏感API,从而提升自己的权限,导致权限提升漏洞,即一些没有敏感API访问权限的应用可以通过其他拥有相应权限的应用去访问敏感API。如果权限提升漏洞被恶意应用利用,就会使用户处于不安全的状态。本文提出了一种基于应用间污点流分析的方法,来检测两个应用之间是否存在权限提升漏洞。

关键词： Android应用权限提升漏洞污点流分析

来源：评论

学校读者我要写书评

暂无评论

二进制程序的动态符号化污点分析

引用

计算机科学 2016年第2期43卷 155-158,187页

作者：朱正欣曾凡平黄心依中国科学技术大学计算机科学与技术学院合肥230026 安徽省计算与通讯软件重点实验室合肥230026

污点分析技术常用于跟踪二进制程序的信息流及检测安全漏洞,通过程序的动态执行来检测程序中由测试用例触发的漏洞。它的误报率很低,但是漏报率较高。针对污点分析的这一问题,动态符号化污点分析方法对污点分析进行了改进,通过将污点分... 详细信息

污点分析技术常用于跟踪二进制程序的信息流及检测安全漏洞,通过程序的动态执行来检测程序中由测试用例触发的漏洞。它的误报率很低,但是漏报率较高。针对污点分析的这一问题,动态符号化污点分析方法对污点分析进行了改进,通过将污点分析符号化来降低漏报率。根据基于指令的污点传播来获得相关污点数据的信息,同时制定符号化的风险分析规则,通过检测污点信息是否违反风险规则来发现存在的风险。实验结果表明,该方法不仅具有污点分析低误报率的优点,而且克服了污点分析高漏报率的缺点。在污点分析过程中产生的漏洞、风险及相关污点信息还可用于指导测试用例的生成,提高测试效率并降低测试用例的冗余。

关键词：污点分析符号化漏洞检测测试用例数据跟踪

来源：评论

学校读者我要写书评

暂无评论

基于静态分析的Android GUI遍历方法

引用

计算机应用 2016年第10期36卷 2811-2815页

作者：汤杨曾凡平王健康黄心依中国科学技术大学计算机科学与技术学院合肥230026 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 安徽省计算与通讯软件重点实验室合肥230026

针对传统软件安全测试方法（例如：符号执行、模糊测试、污点分析等）无法获得较高的Android程序图形用户界面（GUI）覆盖率的问题,提出动态和静态相结合的Android程序测试方法。该方法在静态分析Android应用程序数据流的基础之上,构建... 详细信息

针对传统软件安全测试方法（例如：符号执行、模糊测试、污点分析等）无法获得较高的Android程序图形用户界面（GUI）覆盖率的问题,提出动态和静态相结合的Android程序测试方法。该方法在静态分析Android应用程序数据流的基础之上,构建程序活动转换图和函数调用图,解析程序GUI元素,进而编写测试脚本动态遍历应用程序GUI元素。将该方法应用于订票日历、WiFi万能钥匙和360天气应用的实际测试,结果表明：Activity的平均覆盖率达到76%,明显高于人工测试的平均值30.08%和基于控件树遍历的42.05%~61.29%,该方法能够有效遍历Android应用程序GUI元素。

关键词：静态分析动态测试事件模拟活动调用图函数调用图图形用户界面遍历

来源：评论

学校读者我要写书评

暂无评论

一种检测Android应用程序隐式权限的方法

引用

小型微型计算机系统 2016年第3期37卷 515-519页

作者：彭凌曾凡平严俊汤杨中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026 中国科学院软件研究所软件工程技术研究开发中心北京100190

隐式权限在Android应用开发中有大量的应用.针对隐式权限审核与资源关联的特性,提出一种基于程序静态分析与过程内数据流分析技术的隐式权限检测方法.该方法首先根据函数调用在引发权限审核的过程中是否与系统资源关联分类为显式和隐式... 详细信息

隐式权限在Android应用开发中有大量的应用.针对隐式权限审核与资源关联的特性,提出一种基于程序静态分析与过程内数据流分析技术的隐式权限检测方法.该方法首先根据函数调用在引发权限审核的过程中是否与系统资源关联分类为显式和隐式;然后借助过程内数据流分析技术对隐式调用提取参数值,构建包含资源信息的完整函数调用;最后与事先收集的权限—函数映射关系比对后得到权限信息.实验结果表明,方法可以有效地检测程序中的隐式权限,漏误报数目少,在性能上相比同类型工具有极大的提升.此外,本文收集的隐式权限—资源映射关系相比其他相关工作更完整,将其与开源的显式权限映射表结合,本文实现了权限自动提取工具UpsetEx.

关键词：隐式权限检测静态分析权限审核分类权限—资源映射关系

来源：评论

学校读者我要写书评

暂无评论

用优化的正则表达式引擎进行快速网络流分类

引用

小型微型计算机系统 2015年第12期36卷 2690-2695页

作者：王建敏曾凡平王健康中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026

依赖于正则表达式匹配的深度包检测技术因准确率高成为网络流分类广泛使用的技术.为了能在线性时间内对网络流进行快速分类,需采用时间高效的确定性有限自动机（DFA）匹配引擎,但DFA存在空间爆炸问题,无法满足实际需求.为了解决这个问题... 详细信息

依赖于正则表达式匹配的深度包检测技术因准确率高成为网络流分类广泛使用的技术.为了能在线性时间内对网络流进行快速分类,需采用时间高效的确定性有限自动机（DFA）匹配引擎,但DFA存在空间爆炸问题,无法满足实际需求.为了解决这个问题,本文从DFA中每个状态在不同的输入字符转换下到达的目的状态特性出发,提出了一种基于默认目的状态和位图技术的DFA压缩算法（对应的自动机模型称为DBDFA）,该算法能够将有着相同目的状态的多条转移边压缩为只需一个默认目的状态或只需一个时空高效的位图.实验表明,DBDFA能达到平均99%的压缩效率,优于目前大多数的DFA压缩技术,且压缩后的总体匹配效率是原有DFA的3~5倍,这是目前大部分的压缩技术所不能达到的.

关键词：流量分类正则表达式特征匹配默认目的状态位图

来源：评论

学校读者我要写书评

暂无评论

视频点播系统中视频分片协同存储方案研究

引用

西安交通大学学报 2014年第4期48卷 26-30页

作者：赵晓明周颢何军赵保华中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027

为了提高视频点播系统的服务质量,减少等待延迟,改善用户体验,将视频协同存储与网络编码技术相结合,以最大化本地命中为目标,提出了一种视频分片协同存储最大化本地命中算法。利用网络编码技术,预先将视频进行分片编码。在接收到视频请... 详细信息

为了提高视频点播系统的服务质量,减少等待延迟,改善用户体验,将视频协同存储与网络编码技术相结合,以最大化本地命中为目标,提出了一种视频分片协同存储最大化本地命中算法。利用网络编码技术,预先将视频进行分片编码。在接收到视频请求时,将编码后的视频片发给用户。在客户端接收到足够的视频片后,即可进行解码,从而得到完整的视频。该算法构造了一种资源分配有向图,将原问题转化为该图上的最小费用流问题;通过求解该最小费用流问题,在多项式时间复杂度内得到最优化方案。当视频的总容量与服务器的总容量之比较大时,该算法依然有较好的表现。实验结果表明,该算法的性能优于其他已有的算法,特别是在视频总容量与服务器总容量之比较大的情况下,性能有10%的提高。实验分析了不同切片大小对算法性能的影响,选择了1MB作为默认的切片大小。

关键词：网络编码视频协同存储最小费用流

来源：评论

学校读者我要写书评

暂无评论

数据流应用层载荷特征正则表达式的自动提取

引用

小型微型计算机系统 2014年第8期35卷 1711-1716页

作者：武飞曾凡平张辉董齐兴中国科学技术大学计算机科学与技术学院合肥230026 安徽省计算与通讯软件重点实验室合肥230026

基于载荷特征的IP流分类技术的准确性较高,但是该分类技术的基础是提取出准确的载荷特征.目前大部分应用的载荷特征依靠手工逆向分析数据包结构来进行提取.然而手工分析提取应用产生的数据包是十分耗时的,特别是对于一个未知的应用.鉴于... 详细信息

基于载荷特征的IP流分类技术的准确性较高,但是该分类技术的基础是提取出准确的载荷特征.目前大部分应用的载荷特征依靠手工逆向分析数据包结构来进行提取.然而手工分析提取应用产生的数据包是十分耗时的,特别是对于一个未知的应用.鉴于此,本文设计并实现了一种把固定位置载荷特征和载荷特征公共子串相结合的载荷特征自动提取算法.该算法可以自动提取应用层载荷特征并构造出正则表达式.除了可以提取出公共特征串之外,还可提取出很多特征提取算法所忽略的固定位置的单字节特征.实验结果验证了算法的有效性和准确性.

关键词：特征自动提取正则表达式载荷特征数据流分类

来源：评论

学校读者我要写书评

暂无评论

程序断言与切片技术在检测程序非崩溃错误中的应用

引用

小型微型计算机系统 2014年第8期35卷 1699-1704页

作者：邓超强曾凡平张辉张震宇董齐兴中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026

针对程序非崩溃错误难以被发现的问题,提出一种基于程序断言与切片技术的程序执行监测方法:根据程序执行过程中断言是否被违反来检测程序异常,并根据断言违反信息对反馈的程序异常进行自动分类;在程序切片技术的帮助下,对分类后的程序... 详细信息

针对程序非崩溃错误难以被发现的问题,提出一种基于程序断言与切片技术的程序执行监测方法:根据程序执行过程中断言是否被违反来检测程序异常,并根据断言违反信息对反馈的程序异常进行自动分类;在程序切片技术的帮助下,对分类后的程序异常进行分析,判断程序是否真的出错并找到程序错误来源.实验结果表明,该方法可以有效地发现程序执行过程中发生的非崩溃错误,对程序异常进行合理的分类,约简程序代码和不变量,并将程序错误来源定位到具体的汇编指令,从而帮助程序员快速方便地找到错误来源.

关键词：断言切片程序执行监测非崩溃错误

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：