切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
基于静态分析的软件安全检测技术研究
基于静态分析的软件安全检测技术研究
来源 :第24次全国计算机安全学术交流会 | 被引量 : 0次 | 上传用户:woxia012
【摘 要】
:
本文描述了使用静态分析检测软件安全漏洞的基本过程,并说明了抽象解释、模型检验和数据流分析等主要静态分析方法及其在安全漏洞检测中的应用,然后阐明了静态分析自身的局限
【作 者】
:
江雷
朱建平
【机 构】
:
公安部信息安全等级保护评估中心 北京 100036
【出 处】
:
第24次全国计算机安全学术交流会
【发表日期】
:
2009年期
【关键词】
:
静态分析方法
软件安全漏洞
安全漏洞检测
数据流分析
实现工具
模型检验
分析检测
发展趋势
抽象解释
局限性
描述
过程
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文描述了使用静态分析检测软件安全漏洞的基本过程,并说明了抽象解释、模型检验和数据流分析等主要静态分析方法及其在安全漏洞检测中的应用,然后阐明了静态分析自身的局限性,最后介绍了当前静态分析的实现工具及其发展趋势.
其他文献
新年贺词风雨同舟四十载不忘初心谱新篇贺《液压气动与密封》杂志创刊40周年
值此《液压气动与密封》杂志四十周年之际,我们向为杂志创立、成长付出辛勤劳动的作者、编委、支持单位表示诚挚的感谢!向长期以来对杂志给予关心、信赖和厚爱的广大读者表示
期刊
其他学术论文