2024年7月10日
星期三
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
赵朋超
作品数:
3
被引量:0
H指数:0
供职机构:
北京航空航天大学
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
张强
北京航空航天大学
陈归
北京航空航天大学
王雷
北京航空航天大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
专利
1篇
学位论文
领域
1篇
自动化与计算...
主题
3篇
漏洞
3篇
缓冲区
3篇
缓冲区溢出
2篇
代码
2篇
代码安全
2篇
源代码
2篇
漏洞检测
2篇
函数调用
2篇
程序源代码
1篇
溢出漏洞
1篇
缓冲区溢出漏...
1篇
C语言
机构
3篇
北京航空航天...
作者
3篇
赵朋超
2篇
王雷
2篇
陈归
2篇
张强
年份
1篇
2012
1篇
2009
1篇
2008
共
3
条 记 录,以下是 1-3
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
C语言缓冲区溢出漏洞静态检测工具的研究与实现
赵朋超
关键词:
缓冲区溢出漏洞
基于约束分析和模型检验的代码安全漏洞检测方法
基于模型检测和约束分析的源代码漏洞检测方法,可以对C程序的源代码进行约束提取,使用模型检测来检测程序的安全漏洞。主要内容包括:利用约束分析技术对C程序源代码中涉及到得缓冲区属性信息进行提取,并利用这些缓冲区属性信息,在变...
王雷
陈归
赵朋超
张强
基于约束分析和模型检验的代码安全漏洞检测方法
基于模型检测和约束分析的源代码漏洞检测方法,可以对C程序的源代码进行约束提取,使用模型检测来检测程序的安全漏洞。主要内容包括:利用约束分析技术对C程序源代码中涉及到得缓冲区属性信息进行提取,并利用这些缓冲区属性信息,在变...
王雷
陈归
赵朋超
张强
文献传递
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张