软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2018年第05期杂志 文档列表

软件学报杂志软件安全漏洞检测专题

软件安全漏洞检测专题前言第1177-1178页

关键词: 软件安全；  漏洞检测；  专题；  移动互联网；  网络空间安全；  安全漏洞；  检测软件；  审稿工作；  

缓冲区溢出漏洞分析技术研究进展第1179-1198页

关键词: 缓冲区溢出漏洞；  攻击；  分析；  误报率；  漏报率；  

一种利用补丁的未知漏洞发现方法第1199-1212页

关键词: 漏洞；  补丁；  切片；  相似性；  检测；  

面向漏洞生命周期的安全风险度量方法第1213-1229页

关键词: 风险度量；  漏洞生命周期；  随机模型；  吸收markov链；  动态评估；  

数值稳定性相关漏洞隐患的自动化检测方法第1230-1243页

关键词: 漏洞检测；  数值稳定性；  程序分析；  软件安全；  

大规模源代码增量式资源泄漏检测方法第1244-1257页

关键词: 质量保障；  缺陷检测；  资源泄漏；  指向分析；  数据流分析；  

可编程模糊测试技术第1258-1274页

关键词: 模糊测试；  漏洞挖掘；  可编程；  制导程序；  抽象语法树；  

基于模式生成的浏览器模糊测试技术第1275-1287页

关键词: 模糊测试；  漏洞挖掘；  浏览器；  模式；  

一种面向模糊测试的GUI程序空转状态实时检测方法第1288-1302页

关键词: 模糊测试；  gui程序测试；  空转状态测试；  

基于自适应模糊测试的IaaS层漏洞挖掘方法第1303-1317页

关键词: 自适应；  模糊测试；  灰度马尔可夫；  

基于分布式信息流控制的无障碍辅助性服务安全加固第1318-1332页

关键词: 安卓系统；  无障碍辅助性服务；  系统漏洞与安全；  分布式信息流控制；  

基于IPT硬件的内核模块ROP透明保护机制第1333-1347页

关键词: rop；  cfi；  内核模块；  ipt；  虚拟化；  kvm；  

区块链的安全检测模型第1348-1359页

关键词: 挖矿过程；  区块链；  协议安全；  安全检测；  

基于运行时验证的无人飞行系统安全威胁检测方法第1360-1378页

关键词: 无人飞行系统；  安全威胁检测；  运行时验证；  

面向Android生态系统中的第三方SDK安全性分析第1379-1391页

关键词: android；  第三方sdk；  安全性分析；  漏洞检测；