期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到581篇文章
< 1 2 … 30 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
软件分析技术进展 被引量：101
1
作者 梅宏 王千祥 +1 位作者 张路 王戟 《计算机学报》 EI CSCD 北大核心 2009年第9期1697-1710,共14页
软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主... 软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势. 展开更多
关键词 软件分析 静态分析 动态分析 软件质量
下载PDF
中国产业生态化水平的静态与动态分析——基于省际数据的实证研究 被引量：106
2
作者 陆根尧 盛龙 唐辰华 《中国工业经济》 CSSCI 北大核心 2012年第3期147-159,共13页
本文通过构建产业生态化水平评价指标体系,运用多种分析方法,对我国各省(直辖市、自治区)的产业生态化水平进行了静态分析与动态分析,并探讨了各地区产业生态化水平的特点、形成原因及其影响。结果表明,我国各省(直辖市、自治区)的产业... 本文通过构建产业生态化水平评价指标体系,运用多种分析方法,对我国各省(直辖市、自治区)的产业生态化水平进行了静态分析与动态分析,并探讨了各地区产业生态化水平的特点、形成原因及其影响。结果表明,我国各省(直辖市、自治区)的产业生态化水平可以划分成领先区、发达区、中等区和落后区这样四大类型,进入本世纪以来四大类区域的产业生态化水平均在逐年提高,但区域之间呈现出差距不断拉大的趋势,其原因主要是发展思路与相关制度不完善、区域间经济与技术基础存在差异、产业生态化实施内容和路径上的差异、区域产业结构和产业转移造成的差异等,区域产业生态化水平差异将对我国区域经济社会发展产生严重影响。上述研究结论可为我国实施产业生态化发展提供理论依据和实证支持。 展开更多
关键词 产业生态化 静态分析 动态分析 发展
原文传递
软件安全漏洞检测技术 被引量：76
3
作者 李舟军 张俊贤 +1 位作者 廖湘科 马金鑫 《计算机学报》 EI CSCD 北大核心 2015年第4期717-732,共16页
软件安全漏洞检测技术是提高软件质量和安全性、减少软件安全漏洞的重要方法和基本手段,受到学术界和工业界的广泛关注和高度重视.其主要途径包括软件测试、程序分析、模型检验与符号执行等.近年来,综合利用多种研究方法和技术手段来检... 软件安全漏洞检测技术是提高软件质量和安全性、减少软件安全漏洞的重要方法和基本手段,受到学术界和工业界的广泛关注和高度重视.其主要途径包括软件测试、程序分析、模型检验与符号执行等.近年来,综合利用多种研究方法和技术手段来检测软件安全漏洞已成为软件安全领域的研究热点.文中首先回顾了程序分析与软件安全漏洞检测的基本概念、核心问题和传统手段.然后重点介绍该领域的最新进展,主要包括轻量级动态符号执行、自动化白盒模糊测试以及其实现技术和相应的工具.最后,指出了其所面临的挑战和发展趋势. 展开更多
关键词 安全漏洞 静态分析 动态分析 符号执行 白盒测试
下载PDF
基于性能的地震工程研究的新进展及对结构非线性分析的要求 被引量：53
4
作者 韩建平 吕西林 李慧 《地震工程与工程振动》 CSCD 北大核心 2007年第4期15-23,共9页
结合国际地震工程界提出的新一代基于性能的地震工程的框架方法,重点阐述了性能评估中涉及的主要问题。对性能评估使用的静力非线性分析、动力非线性分析方法进行了总结,在此基础上详细阐述了在基于概率的性能评估中有应用前景的增量动... 结合国际地震工程界提出的新一代基于性能的地震工程的框架方法,重点阐述了性能评估中涉及的主要问题。对性能评估使用的静力非线性分析、动力非线性分析方法进行了总结,在此基础上详细阐述了在基于概率的性能评估中有应用前景的增量动力分析方法的概念、相关问题及其应用,并简要介绍了基于增量动力分析思想提出的一些简化方法。最后提出了今后研究的建议,特别是结构非线性分析方面的研究重点。 展开更多
关键词 基于性能的地震工程 非线性 概率 静力非线性分析 动力非线性分析 增量动力分析 倒塌
下载PDF
既有桥梁拓宽改造纵向接缝研究现状与实例分析 被引量：58
5
作者 宗周红 夏樟华 +1 位作者 陈宜言 赵宣宪 《福州大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第2期248-260,共13页
针对既有桥梁拓宽改造中新旧桥纵向接缝的若干关键问题,比如桥梁拼宽纵向接缝类型、拼宽桥梁整体和局部受力分析、收缩徐变和不均匀沉降影响、拼接时机选择、不中断交通的施工工艺以及特殊桥梁拼宽等问题,结合典型工程应用,进行了系统... 针对既有桥梁拓宽改造中新旧桥纵向接缝的若干关键问题,比如桥梁拼宽纵向接缝类型、拼宽桥梁整体和局部受力分析、收缩徐变和不均匀沉降影响、拼接时机选择、不中断交通的施工工艺以及特殊桥梁拼宽等问题,结合典型工程应用,进行了系统总结和归纳.以某连续梁桥为例,进行了两跨箱梁桥的1∶4室内模型试验,分析比较纵向接缝中刚性连接与铰接连接的受力特点;进一步指出了该领域存在的问题和今后主要的研究方向,对于既有桥梁特别是高速公路桥梁的拓宽改造具有一定的参考价值. 展开更多
关键词 桥梁 拓宽 纵向接缝 收缩 徐变 沉降 模型试验 静力分析 动力分析
原文传递
ABAQUS的二次开发及在土石坝静、动力分析中的应用 被引量：56
6
作者 费康 刘汉龙 《岩土力学》 EI CAS CSCD 北大核心 2010年第3期881-890,共10页
利用UMAT子程序,在ABAQUS中开发了用于静力分析的邓肯非线性弹性模型和用于动力分析的等效线性模型,丰富了ABAQUS软件的材料库;针对土石坝的分级填土施工、新填土层的位移修正、土石坝蓄水后的浸水湿化效应、坝体材料的液化判别和地震... 利用UMAT子程序,在ABAQUS中开发了用于静力分析的邓肯非线性弹性模型和用于动力分析的等效线性模型,丰富了ABAQUS软件的材料库;针对土石坝的分级填土施工、新填土层的位移修正、土石坝蓄水后的浸水湿化效应、坝体材料的液化判别和地震永久变形计算等土石坝分析中的特定问题在ABAQUS中的实现提出了相应的解决方案。算例的计算结果合理可靠,表明经二次开发后ABAQUS可用于土石坝的静、动力分析,从而可利用ABAQUS前后处理方便、计算精度高和模拟复杂问题能力强的优点,为土石坝分析提供一种可供选择的手段。 展开更多
关键词 土石坝 ABAQUS 二次开发 静力分析 动力分析
下载PDF
基于FEM的数控机床结构部件静动态设计 被引量：41
7
作者 张宪栋 徐燕申 林汉元 《机械设计》 CSCD 北大核心 2005年第5期46-48,共3页
讨论了应用有限元方法(FEM)进行数控机床结构部件静动态设计的原理,叙述了模型简化方法及单元类型的选择。并以龙门式加工中心的滑枕为例进行分析,研究了滑枕的静动态特性,并对滑枕的结构进行改进。
关键词 有限元 ANSYS 加工中心 滑枕 静动态分析
下载PDF
老采空区地表残余移动变形影响函数研究 被引量：48
8
作者 朱广轶 徐征慧 +1 位作者 解陈 郭影 《岩石力学与工程学报》 EI CAS CSCD 北大核心 2014年第10期1962-1970,共9页
为解决老采空区地表新建建(构)筑时的地基稳定性评价问题,填补规程空白,通过覆岩结构演变分析,提出地表残余移动变形的定义和2个阶段,指出第2阶段残余移动变形才可能对地表建(构)筑产生有害影响。发现垮落岩体压实特性自老采空区边界至... 为解决老采空区地表新建建(构)筑时的地基稳定性评价问题,填补规程空白,通过覆岩结构演变分析,提出地表残余移动变形的定义和2个阶段,指出第2阶段残余移动变形才可能对地表建(构)筑产生有害影响。发现垮落岩体压实特性自老采空区边界至中央具有明显的分区性:边界区空洞,老采空区中部垮落岩体空隙及其上部岩层裂隙。将这2组决定地表残余移动变形发生的老采空区及覆岩空间,分别转化为对应的等效开采厚度,采用概率积分原理构造出采动影响下地表残余移动变形静态影响函数,包括残余下沉、残余水平移动、残余倾斜变形、残余水平变形、残余曲率变形影响函数。应用这些影响函数进行计算表明,在老采空区两侧边界出现地表残余移动变形最大值,这与老采空区边界空洞较大、活化潜能大的机制分析结论一致;采用开尔文模型,分析老采空区及覆岩的蠕变特性,构造残余下沉坐标–时间函数,实现残余下沉的动态分析;通过实际观测数据和FLAC3D数值模拟2种方式验证,表明各影响函数可较好地描述地表残余移动变形规律。 展开更多
关键词 采矿工程 残余移动变形 影响函数 静态分析 动态分析
原文传递
程序分析研究进展 被引量：45
9
作者 张健 张超 +8 位作者 玄跻峰 熊英飞 王千祥 梁彬 李炼 窦文生 陈振邦 陈立前 蔡彦 《软件学报》 EI CSCD 北大核心 2019年第1期80-109,共30页
在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析... 在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战. 展开更多
关键词 程序分析 软件质量保障 静态分析 动态分析
下载PDF
Android恶意软件检测技术分析和应用研究 被引量：41
10
作者 文伟平 梅瑞 +1 位作者 宁戈 汪亮亮 《通信学报》 EI CSCD 北大核心 2014年第8期78-85,94,共9页
针对Android平台安全问题,提出了手机端和服务端协作的恶意代码检测方案,手机端应用主要采用基于permission检测技术,实现轻量级的检测。服务端检测系统主要负责对手机端提交的可疑样本进行检测,同时实现了软件行为分析,特征库更新,与... 针对Android平台安全问题,提出了手机端和服务端协作的恶意代码检测方案,手机端应用主要采用基于permission检测技术,实现轻量级的检测。服务端检测系统主要负责对手机端提交的可疑样本进行检测,同时实现了软件行为分析,特征库更新,与手机端同步等功能。其中服务端检测技术包括基于permission检测技术、基于字节码静态检测技术和基于root权限的动态检测技术。实验测试结果表明,3种检测技术能达到较好的检测效果。 展开更多
关键词 恶意代码检测 静态分析 动态分析 权限分析
下载PDF
基于工作流技术的企业业务过程评价方法 被引量：14
11
作者 林慧苹 范玉顺 吴澄 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2001年第12期47-52,共6页
企业业务过程的分析评价是实施企业业务过程重组的重要环节 ,它能够发现已有业务流程中存在的瓶颈、死锁及其他不合理现象 ,还可以验证新的过程设计方案的可行性和有效性。为此 ,提出了一个符合我国企业状况的企业业务过程评价体系 ,明... 企业业务过程的分析评价是实施企业业务过程重组的重要环节 ,它能够发现已有业务流程中存在的瓶颈、死锁及其他不合理现象 ,还可以验证新的过程设计方案的可行性和有效性。为此 ,提出了一个符合我国企业状况的企业业务过程评价体系 ,明确定义了业务过程静态分析和动态分析包含的内容 ,以及用于动态分析的量化指标。同时 ,还讨论了参照评价体系 。 展开更多
关键词 工作流 企业业务过程 评价方法
下载PDF
基于社会网络分析理论的恐怖组织网络研究综述 被引量：39
12
作者 付举磊 孙多勇 +1 位作者 肖进 汪寿阳 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2013年第9期2177-2186,共10页
恐怖组织网络研究对于了解恐怖组织结构、有效打击恐怖活动具有十分重要的意义.近年来,社会网络分析方法在恐怖组织网络研究中得到广泛关注和成功应用.本文对恐怖组织网络模型的构建方法和分析方法进行了综述.首先,从建模视角、建模工... 恐怖组织网络研究对于了解恐怖组织结构、有效打击恐怖活动具有十分重要的意义.近年来,社会网络分析方法在恐怖组织网络研究中得到广泛关注和成功应用.本文对恐怖组织网络模型的构建方法和分析方法进行了综述.首先,从建模视角、建模工具及数据获取方法三个方面对恐怖组织网络模型的构建方法进行了讨论和评价.然后,将恐怖组织网络分析方法归纳为静态分析和动态分析两大类.在静态分析中,重点分析和评价了网络拓扑结构及特征、核心目标识别、抗毁性评估及瓦解策略三种方法;在动态分析中,主要对恐怖活动态势评估、组织结构演化与绩效评估、空间关联分析三种方法进行了论述.最后,指出现有研究存在的不足以及未来值得研究的问题. 展开更多
关键词 恐怖组织网络 社会网络分析 建模方法 静态分析 动态分析
原文传递
阿尔塔什水利枢纽工程混凝土面板堆石坝抗震工程措施及静、动力有限元计算分析 被引量：32
13
作者 吴俊杰 《水利水电技术》 北大核心 2019年第12期130-137,共8页
鉴于强震区200 m级超高混凝土面板堆石坝所面临的变形控制难、坝体抗震等级高、砂砾石覆盖层深厚等诸多设计难点,结合阿尔塔什混凝土面板堆石坝坝体结构、坝壳料设计,借鉴已建工程经验提出抗震工程措施。通过建立坝体、覆盖层的三维有... 鉴于强震区200 m级超高混凝土面板堆石坝所面临的变形控制难、坝体抗震等级高、砂砾石覆盖层深厚等诸多设计难点,结合阿尔塔什混凝土面板堆石坝坝体结构、坝壳料设计,借鉴已建工程经验提出抗震工程措施。通过建立坝体、覆盖层的三维有限元模型,堆石料静力本构分析采用邓肯张E-B模型,动力本构分析采用等效黏弹性模型,分析了考虑抗震工程措施的坝体抗震能力。结果表明:坝体在竣工期、正常运行期、正常运行+地震三个工况下的变形规律合理。混凝土防渗墙和面板结构中最大拉、压应力均可满足所选混凝土材料的规范要求。坝顶下游坝坡设置浆砌块石护坡后可有效减弱该区域局部动力剪切破坏和浅层滑移。坝顶上、下游边坡布置阻滑钢筋网以及适当提高填筑料的相对紧密度、孔隙率,可以有效提高大坝坝坡的抗震稳定性和坝体抗震能力。研究成果以期为今后300 m级面板堆石坝工程设计上提供借鉴。 展开更多
关键词 混凝土面板堆石坝 深厚覆盖层 高强震区 静、动力分析 抗震工程措施
下载PDF
基于三维非连续接触模型的管片接头静动力特性分析 被引量：31
14
作者 艾辉军 彭立敏 施成华 《岩土工程学报》 EI CAS CSCD 北大核心 2013年第11期2023-2029,共7页
基于非线性接触理论,考虑盾构隧道结构的非连续性,模拟管片接头结构和管片衬砌与围岩及道床之间的相互作用,建立了道床–管片–围岩的三维非连续接触模型,对盾构隧道管片接头在围岩静压、列车动载作用下的受力与变形进行了深入分析。研... 基于非线性接触理论,考虑盾构隧道结构的非连续性,模拟管片接头结构和管片衬砌与围岩及道床之间的相互作用,建立了道床–管片–围岩的三维非连续接触模型,对盾构隧道管片接头在围岩静压、列车动载作用下的受力与变形进行了深入分析。研究结果表明,围岩静压下拱顶和隧底处的纵向接头部分向内张开,两侧拱腰处的接头部分向外张开,拱顶处的封顶块与邻接块错台较大,拱腰接头受压明显,拱顶接头受压最小,各环管片拱顶处的螺栓轴力最大,隧底处的其次,拱腰处的接头螺栓轴力最小,旋转了一定拼装角度后位于拱肩上部的接头螺栓,其剪力最大;列车动载作用下管片接头的张开错台、混凝土应力以及接头螺栓的内力均在动载施加初期迅速增加,然后明显减小,而后产生波动,其中浅埋地铁隧道拱顶接头的动力响应较隧底接头明显,螺栓剪力在列车动载作用下较螺栓轴力增加的多。 展开更多
关键词 盾构隧道 管片接头 三维非连续接触模型 静动力分析
下载PDF
平板气动力的CFD模拟及参数研究 被引量：25
15
作者 李永乐 汪斌 +1 位作者 黄林 廖海黎 《工程力学》 EI CSCD 北大核心 2009年第3期207-211,共5页
以薄平板为研究对象,以大型商用软件为数值仿真平台,对平板静动态气动力的模拟方法及参数敏感性进行了较系统的研究。在优化计算域并合理设置基本参数的基础上,分析了随攻角变化的静态平板气动力系数,模拟了运动状态下平板的气动力时程... 以薄平板为研究对象,以大型商用软件为数值仿真平台,对平板静动态气动力的模拟方法及参数敏感性进行了较系统的研究。在优化计算域并合理设置基本参数的基础上,分析了随攻角变化的静态平板气动力系数,模拟了运动状态下平板的气动力时程,计算结果与理论解吻合较好。进一步对比分析了风速、湍流模型、平板宽厚比、运动形态、振动频率及振幅等参数对平板气动力的影响。研究结论对提高桥梁结构CFD分析的准确性有一定借鉴意义。 展开更多
关键词 CFD 气动力 薄平板 参数研究 静动态分析
原文传递
沥青混凝土心墙坝三维有限元静动力分析 被引量：26
16
作者 孔宪京 余翔 +1 位作者 邹德高 周扬 《大连理工大学学报》 EI CAS CSCD 北大核心 2014年第2期197-203,共7页
针对沥青混凝土心墙均质坝,运用非线性三维有限元法进行静动力分析.对大坝填筑与蓄水阶段分别进行模拟,并计算了沥青混凝土心墙坝动力响应,分析了坝高、动剪切模量、地震峰值加速度及地震波对心墙最大动剪应变的影响,总结了心墙应力与... 针对沥青混凝土心墙均质坝,运用非线性三维有限元法进行静动力分析.对大坝填筑与蓄水阶段分别进行模拟,并计算了沥青混凝土心墙坝动力响应,分析了坝高、动剪切模量、地震峰值加速度及地震波对心墙最大动剪应变的影响,总结了心墙应力与变形、动剪应变分布规律.结果表明:静力状态下,尤其是满蓄期,应重点关注心墙坝肩处、顶部和底部区域,且高心墙处于更不利的应力与变形状态.地震作用下,动剪应变最大值发生在河谷中央心墙顶部区域,但动剪应变幅值较小,一般不超过0.5%. 展开更多
关键词 沥青混凝土心墙坝 三维有限元 静动力分析 动剪应变
下载PDF
放大电路的Multisim 10仿真分析 被引量：25
17
作者 王荔芳 余磊 周晓华 《现代电子技术》 2011年第18期172-174,共3页
利用集成化的Multisim 10建立了放大电路的仿真模型,叙述了利用Multisim 10软件对单管共射放大电路和两级放大电路进行静态和动态分析的方法和过程,展示了方便灵活的动态仿真结果。仿真实验表明,仿真结果与理论分析计算一致。应用Multis... 利用集成化的Multisim 10建立了放大电路的仿真模型,叙述了利用Multisim 10软件对单管共射放大电路和两级放大电路进行静态和动态分析的方法和过程,展示了方便灵活的动态仿真结果。仿真实验表明,仿真结果与理论分析计算一致。应用Multisim 10软件对放大电路进行虚拟电子技术实验,可以十分方便快捷地获取实验数据,突破了传统实验中硬件设备条件的限制,大大提高了实验的深度和广度。 展开更多
关键词 放大电路 Multisim静态分析 动态分析
下载PDF
论杜邦财务分析体系在企业财务管理中的运用 被引量：23
18
作者 方东明 《安徽理工大学学报（社会科学版）》 2011年第2期27-31,共5页
杜邦财务分析体系是财务管理学中系统分析财务指标内在联系的重要综合评价方法。阐述了企业如何运用杜邦财务分析体系中的静态分析法来找出影响企业净资产收益率的因素,并重点分析了如何运用杜邦财务分析体系中的动态分析法来分析比较... 杜邦财务分析体系是财务管理学中系统分析财务指标内在联系的重要综合评价方法。阐述了企业如何运用杜邦财务分析体系中的静态分析法来找出影响企业净资产收益率的因素,并重点分析了如何运用杜邦财务分析体系中的动态分析法来分析比较各因素变动对企业净资产收益率变动的影响程度,从而进一步找到提高企业净资产收益率的途径。同时就杜邦财务分析体系在财务管理中存在的局限性提出了改进的建议。 展开更多
关键词 杜邦财务分析体系 静态分析 动态分析 局限性 改进建议
下载PDF
一种针对Android平台恶意代码的检测方法及系统实现 被引量：21
19
作者 胡文君 赵双 +2 位作者 陶敬 马小博 陈亮 《西安交通大学学报》 EI CAS CSCD 北大核心 2013年第10期37-43,共7页
针对Android恶意代码泛滥的问题,综合静态和动态分析技术,设计实现了Android恶意代码检测系统。在静态分析部分,提取Android程序中的权限、API调用序列、组件、资源以及APK结构构建特征向量,应用相似性度量算法,检测已知恶意代码家族的... 针对Android恶意代码泛滥的问题,综合静态和动态分析技术,设计实现了Android恶意代码检测系统。在静态分析部分,提取Android程序中的权限、API调用序列、组件、资源以及APK结构构建特征向量,应用相似性度量算法,检测已知恶意代码家族的恶意代码样本;在动态分析部分,通过修改Android源码、重新编译成内核镜像,使用该镜像文件加载模拟器,实时监控Android程序的文件读写、网络连接、短信发送以及电话拨打等行为,基于行为的统计分析检测未知恶意代码。经过实际部署测试,所提检测方法具有较高的检测率和较低的误报率。所开发Android恶意代码检测系统已经在互联网上发布,可免费提供分析检测服务。 展开更多
关键词 ANDROID 恶意代码检测 静态分析 动态分析
下载PDF
Android安全漏洞挖掘技术综述 被引量：22
20
作者 张玉清 方喆君 +6 位作者 王凯 王志强 乐洪舟 刘奇旭 何远 李晓琦 杨刚 《计算机研究与发展》 EI CSCD 北大核心 2015年第10期2167-2177,共11页
安全漏洞在Android系统的安全性中处于核心地位,因此如何有效挖掘Android系统安全漏洞,已成为增强移动终端安全性、保护用户安全和隐私的重要技术手段,具有重要的理论和现实意义.首先对Android领域2008—2015年间漏洞数量趋势和种类进... 安全漏洞在Android系统的安全性中处于核心地位,因此如何有效挖掘Android系统安全漏洞,已成为增强移动终端安全性、保护用户安全和隐私的重要技术手段,具有重要的理论和现实意义.首先对Android领域2008—2015年间漏洞数量趋势和种类进行了汇总,然后分类分析了Android安全领域顶级会议上2012—2014年间的学术研究进展.在此基础上,给出了Android漏洞挖掘技术的总体概览,并针对漏洞挖掘领域中使用较多的污染流传播分析、可达路径分析、符号执行、Fuzzing测试等技术进行详细阐述,还对混合符号执行和定向Fuzzing等动静态结合的技术进行了介绍.最后对Android漏洞挖掘领域的开源工具进行了总结,并讨论了值得进一步深入研究的安全问题. 展开更多
关键词 Android安全 综述 漏洞挖掘 静态分析 动态分析
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 30 下一页 到第 页
使用帮助 返回顶部