检索结果-内蒙古大学图书馆

微电子学与计算机 2012年第2期29卷 107-110页

作者：匡春光王春雷何蓉晖北京系统工程研究所信息系统安全技术重点实验室北京100101

为了提高计算机软件的安全性,对C程序中的格式化字符串脆弱性的原理、特征进行了分析,在分析的基础上提出了一种动态检测技术.利用此检测技术实现的一种格式化字符串脆弱性检测工具能较准确地检测到C目标程序中的格式化字符串脆弱性.分... 详细信息

为了提高计算机软件的安全性,对C程序中的格式化字符串脆弱性的原理、特征进行了分析,在分析的基础上提出了一种动态检测技术.利用此检测技术实现的一种格式化字符串脆弱性检测工具能较准确地检测到C目标程序中的格式化字符串脆弱性.分析结果对编写更安全的C程序具有参考价值,检测技术具有实用价值.

关键词：格式化字符串脆弱性动态检测原理特征目标程序

来源：评论

学校读者我要写书评

暂无评论

基于源代码的格式化字符串漏洞检测技术研究

基于源代码的格式化字符串漏洞检测技术研究

引用

作者：韩飞山东大学

学位级别：硕士

随着计算机技术渗透至当今社会的方方面面,由软件安全漏洞引起的黑客攻击事件不断发生,使得人们越来越重视软件安全的重要。虽然完美的软件不可能出现,但可以使软件尽可能的不被恶意利用,减少软件安全漏洞。C语言被广泛用于编写操作系... 详细信息

随着计算机技术渗透至当今社会的方方面面,由软件安全漏洞引起的黑客攻击事件不断发生,使得人们越来越重视软件安全的重要。虽然完美的软件不可能出现,但可以使软件尽可能的不被恶意利用,减少软件安全漏洞。 C语言被广泛用于编写操作系统以及众多应用软件,拥有使用灵活,运行高效等优点。但是,C语言缺少安全机制,使其漏洞频出。本文针对c语言中的格式化字符串漏洞,开发出了FSDS (format string vulnerability detection system)格式化字符串漏洞检测系统。本文首先介绍了c语言中格式化字符串漏洞的现状；研究了格式化字符串漏洞的成因及其危害性;对现有格式化字符串漏洞检测技术进行了分析和研究。其次详细探讨了Shankar等提出的类型限定符理论及其在C语言中的应用。基于此理论我们开发出了FSDS (format string vulnerability detection system)格式化字符串漏洞检测系统并使用该系统对Cfengine, Muh, Smbftpd等应用程序进行了检测发现了其中的格式化字符串漏洞。最后我们又对FSDS检测系统和现有的Pscan、FormatShield等技术进行了比较,FSDS检测系统具有能够抵抗内存任意读攻击；能够抵抗内存任意写攻击；支持类vprintf等函数；支持用户定义的包裹函数；检测前不需要复杂的准备,不需要运行；界面友好,方便使用等优点。

关键词：源代码格式化字符串漏洞静态检测

来源：评论

学校读者我要写书评

暂无评论

格式化字符串攻击检测算法

引用

电脑知识与技术 2013年第8期9卷 5012-5014,5029页

作者：杜戈王子东北大学软件学院辽宁沈阳110004

格式化字符串漏洞能对网络系统造成巨大的危害。该文探讨了格式化字符串漏洞的成因与危害性,并对格式化字符串攻击检测算法进行了详细的阐述与分析。

关键词：格式化字符串攻击检测算法

来源：评论

学校读者我要写书评

暂无评论

基于动态染色的内存漏洞定位技术

引用

计算机工程 2010年第7期36卷 139-141页

作者：房陈茅兵谢立南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

针对程序漏洞,提出利用基于二进制的程序染色和程序分析技术来检测恶意攻击并有效定位程序漏洞,采用数据依赖关系分析和动态染色的方法,记录起传播作用的写指令及目的内存地址,当检测到漏洞攻击时,通过内存地址找到恶意写指令并定位漏... 详细信息

针对程序漏洞,提出利用基于二进制的程序染色和程序分析技术来检测恶意攻击并有效定位程序漏洞,采用数据依赖关系分析和动态染色的方法,记录起传播作用的写指令及目的内存地址,当检测到漏洞攻击时,通过内存地址找到恶意写指令并定位漏洞。实验结果证明,该方法能成功定位常见内存漏洞的位置,并能定位到有漏洞的库函数的调用点。

关键词：程序漏洞攻击检测程序染色缓冲区溢出格式化字符串

来源：评论

学校读者我要写书评

暂无评论

一种通用安全攻击测试平台

引用

计算机工程与应用 2006年第30期42卷 116-119,170页

作者：郭二旺夏耐李国乐茅兵南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

目前针对缓冲区溢出和格式化字符串漏洞攻击已经提出了很多种解决方法。然而到目前为止,几乎没有一种方法可以解决所有的缓冲区漏洞攻击,绝大多数的方法只能够防范某一些方面的漏洞攻击。另一方面针对已经存在的防范方法缺乏统一的评价... 详细信息

目前针对缓冲区溢出和格式化字符串漏洞攻击已经提出了很多种解决方法。然而到目前为止,几乎没有一种方法可以解决所有的缓冲区漏洞攻击,绝大多数的方法只能够防范某一些方面的漏洞攻击。另一方面针对已经存在的防范方法缺乏统一的评价标准,没有一种通用的测试程序可以评估所有的安全防范方法的防范效果。为此,论文提出并实现了一个相对完善的通用的安全攻击测试平台,通过它可以测试各种缓冲区溢出防范方法的防范效果。

关键词：缓冲区溢出格式化字符串栈溢出边界检查

来源：评论

学校读者我要写书评

暂无评论

基于动态染色的内存漏洞定位技术

基于动态染色的内存漏洞定位技术

引用

作者：房陈南京大学

学位级别：硕士

随着电子信息技术和计算机网络的飞速发展，系统安全问题受到越来越多的重视。网络攻击、蠕虫病毒和黑客等名词已经频繁地出现在各种杂志和视频中。由于程序设计语言本身的缺陷以及软件的复杂性，系统的正确性和安全性难以保证，存在各... 详细信息

随着电子信息技术和计算机网络的飞速发展，系统安全问题受到越来越多的重视。网络攻击、蠕虫病毒和黑客等名词已经频繁地出现在各种杂志和视频中。由于程序设计语言本身的缺陷以及软件的复杂性，系统的正确性和安全性难以保证，存在各种各样的程序漏洞。其中，最为常见的是与内存篡改相关的程序漏洞，如缓冲区溢出、格式化字符串、堆篡改和整形溢出等。内存漏洞危害巨大，给社会经济带来了难以估量的损失。许多政府和研究机构都对系统安全问题给予了足够的重视。\n 要彻底地修复有漏洞的程序，最根本的就是在发现程序存在漏洞时，给程序打补丁，消除程序中的漏洞。显然，给程序打补丁就必需要知道程序漏洞的位置，然而目前的很多攻击防范方法都主要关注攻击的检测，而无法自动获得程序漏洞的位置。通常软件开发人员通过手工的代码审计、跟踪、调试等手段进行漏洞定位并修补漏洞。但是，目前的系统的复杂性使得人工定位漏洞效率非常低下，这就迫切需要一种能够自动定位程序漏洞的方法。这也是我们工作的出发点和最终的目标。\n 本文提出一种针对内存相关漏洞攻击的自动检测和定位的方法。通过动态染色技术检测非法内存访问并且在程序运行过程中记录下与外部输入相关的写指令的地址和目的内存地址。当检测到异常时，根据已经记录的信息回溯定位到非法写内存指令，并对应到源代码中相应的语句。这里，我们会对库函数做特殊的处理，如果非法写内存指令是库函数中的指令，而此条指令的地址对于所有调用该库函数的程序是固定的，所以仅仅定位到这条指令，并不精确。所以，我们的系统通过对库函数调用的识别，可以最终定位到库函数的调用点。对漏洞的精确定位对于修复程序漏洞有着至关重要的作用。\n 为检测该方法针对内存篡改漏洞攻击错误定位的效果，我们在Linux上，基于Valgrind和Flayer工具实现了原型系统。我们使用常见的含有内存漏洞的程序来测试系统的的有效性。所有测试程序都具有外部输入接口。实验结果证明我们的方法既能够有效地检测到经典的控制流攻击，也能够检测到数据流攻击，而且最终都能够精确地定位到程序漏洞的位置。

关键词：程序漏洞内存漏洞定位攻击检测动态染色库函数调用格式化字符串网络安全

来源：评论

学校读者我要写书评

暂无评论

C程序中的脆弱性模式研究

引用

计算机系统应用 2009年第2期18卷 80-82页

作者：匡春光张鲁峰何蓉晖北京系统工程研究所北京100101

C程序中脆弱性的存在严重地降低了C程序的安全性,为了提高C程序的安全性,对C程序中的脆弱性模式进行了研究。应用了分类、分析、归纳总结等研究方法。较系统地提出了C程序中存在的脆弱性模式,阐述了各种脆弱性模式的产生原因及其危害,... 详细信息

C程序中脆弱性的存在严重地降低了C程序的安全性,为了提高C程序的安全性,对C程序中的脆弱性模式进行了研究。应用了分类、分析、归纳总结等研究方法。较系统地提出了C程序中存在的脆弱性模式,阐述了各种脆弱性模式的产生原因及其危害,并针对部分脆弱性模式提出了相应的避免或缓解的方法。研究结果可以用于指导C程序的编写,也可以用于对已有的C程序进行脆弱性分析,大幅度提高C程序的安全性,由于脆弱性种类会随着应用的发展而发生变化,今后还需要研究其它的脆弱性模式。

关键词：脆弱性模式缓冲区溢出格式化字符串竞争条件环境欺骗

来源：评论

学校读者我要写书评

暂无评论

缓冲区溢出攻击及保护

引用

东北农业大学学报 2004年第3期35卷 361-365页

作者：陆军丁雪梅黑龙江大学计算机科学技术学院黑龙江哈尔滨150080 哈尔滨师范大学计算机系黑龙江哈尔滨150080

阐述缓冲区溢出攻击的原理以及一些实例,探讨与缓冲区溢出相关的安全性编码原则,特别是编程人员常用但容易忽略其安全性的一些函数。对于提高广大编程人员的安全编码意识具有一定指导意义。

关键词：缓冲区溢出格式化字符串安全性编码

来源：评论

学校读者我要写书评

暂无评论

双精度实型E00文件初探

双精度实型E00文件初探

引用

全国测绘科技信息网中南分网第十九次学术交流会

作者：柯可湖南省第二测绘院

对ARC/INFO与COVER有关的双精度实型E00文件进行探讨。

关键词： DOUBLE SINGLE LAB PRJ TIC PAT AAT 格式化字符串

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：