期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于可执行代码的缓冲区溢出检测模型
被引量:
4
1
作者
赵奇永
郑燕飞
郑东
《计算机工程》
CAS
CSCD
北大核心
2008年第12期120-122,共3页
根据缓冲区溢出原理,提出一种基于可执行代码的缓冲区溢出检测模型,给出该模型的理论基础,描述模型构建的过程,提出新的缓冲区引用实例的识别方法。该模型将可执行代码反汇编为汇编代码,建立函数调用关系图和控制流图,分析缓冲区变量及...
根据缓冲区溢出原理,提出一种基于可执行代码的缓冲区溢出检测模型,给出该模型的理论基础,描述模型构建的过程,提出新的缓冲区引用实例的识别方法。该模型将可执行代码反汇编为汇编代码,建立函数调用关系图和控制流图,分析缓冲区变量及其引用实例,从缓冲区引用实例逆程序流方向归结路径约束,通过约束求解判断缓冲区溢出可能与否。
展开更多
关键词
可执行代码
缓冲区
溢出
缓冲区溢出检测
约束求解
在线阅读
下载PDF
职称材料
基于源码分析的缓冲区溢出漏洞检测方法
被引量:
7
2
作者
尹茗
张功萱
《江苏大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2016年第4期450-455,共6页
根据缓冲区溢出原因提出一种基于源码分析的缓冲区溢出漏洞检测方法,该方法对源码预处理后进行静态分析并依次构造相应的抽象语法树、控制流图、函数调用图和变量表,最后建立有限状态自动机检测模型.以容易出现溢出的C/C++源码为例,构...
根据缓冲区溢出原因提出一种基于源码分析的缓冲区溢出漏洞检测方法,该方法对源码预处理后进行静态分析并依次构造相应的抽象语法树、控制流图、函数调用图和变量表,最后建立有限状态自动机检测模型.以容易出现溢出的C/C++源码为例,构造相应的检测模型,结果表明:该检测模型相比已有检测方案,可以更加有效地检测出缓冲区溢出漏洞;同时,该方法对程序代码中的危险函数调用和溢出过滤机制也能进行有效识别从而降低误报率,该检测方法也适用于其他语言的源码检测.
展开更多
关键词
缓冲区溢出检测
软件开发
有限状态自动机
静态源码分析
蠕虫
在线阅读
下载PDF
职称材料
缓冲区溢出的预防与检测技术综述
被引量:
2
3
作者
富宇
唐国维
刘显德
《计算机工程与应用》
CSCD
北大核心
2005年第32期149-152,166,共5页
对缓冲区溢出攻击进行预防与检测的各类方法进行了综述,包括增强系统核心、静态分析技术、增强编译器和进行动态检测。
关键词
缓冲区
溢出
的预防与
检测
Liunx安全
动态
检测
在线阅读
下载PDF
职称材料
题名
基于可执行代码的缓冲区溢出检测模型
被引量:
4
1
作者
赵奇永
郑燕飞
郑东
机构
上海交通大学密码与信息安全实验室
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第12期120-122,共3页
基金
国家自然科学基金资助项目(60473020)
文摘
根据缓冲区溢出原理,提出一种基于可执行代码的缓冲区溢出检测模型,给出该模型的理论基础,描述模型构建的过程,提出新的缓冲区引用实例的识别方法。该模型将可执行代码反汇编为汇编代码,建立函数调用关系图和控制流图,分析缓冲区变量及其引用实例,从缓冲区引用实例逆程序流方向归结路径约束,通过约束求解判断缓冲区溢出可能与否。
关键词
可执行代码
缓冲区
溢出
缓冲区溢出检测
约束求解
Keywords
executable code
buffer overflow
buffer overflow detection
constraint solving
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于源码分析的缓冲区溢出漏洞检测方法
被引量:
7
2
作者
尹茗
张功萱
机构
南京理工大学计算机科学与工程学院
出处
《江苏大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2016年第4期450-455,共6页
基金
国家自然科学基金资助项目(61472189)
文摘
根据缓冲区溢出原因提出一种基于源码分析的缓冲区溢出漏洞检测方法,该方法对源码预处理后进行静态分析并依次构造相应的抽象语法树、控制流图、函数调用图和变量表,最后建立有限状态自动机检测模型.以容易出现溢出的C/C++源码为例,构造相应的检测模型,结果表明:该检测模型相比已有检测方案,可以更加有效地检测出缓冲区溢出漏洞;同时,该方法对程序代码中的危险函数调用和溢出过滤机制也能进行有效识别从而降低误报率,该检测方法也适用于其他语言的源码检测.
关键词
缓冲区溢出检测
软件开发
有限状态自动机
静态源码分析
蠕虫
Keywords
buffer overflow detection
software development
finite automata
static code analysis
worm
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
缓冲区溢出的预防与检测技术综述
被引量:
2
3
作者
富宇
唐国维
刘显德
机构
大庆石油学院计算机与信息科学学院
出处
《计算机工程与应用》
CSCD
北大核心
2005年第32期149-152,166,共5页
文摘
对缓冲区溢出攻击进行预防与检测的各类方法进行了综述,包括增强系统核心、静态分析技术、增强编译器和进行动态检测。
关键词
缓冲区
溢出
的预防与
检测
Liunx安全
动态
检测
Keywords
buffer overflow defense and detection,Liunx security,dynamic detection
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于可执行代码的缓冲区溢出检测模型
赵奇永
郑燕飞
郑东
《计算机工程》
CAS
CSCD
北大核心
2008
4
在线阅读
下载PDF
职称材料
2
基于源码分析的缓冲区溢出漏洞检测方法
尹茗
张功萱
《江苏大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2016
7
在线阅读
下载PDF
职称材料
3
缓冲区溢出的预防与检测技术综述
富宇
唐国维
刘显德
《计算机工程与应用》
CSCD
北大核心
2005
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部