一种需求驱动的缓冲区溢出检测算法

本文提出一种流敏感的静态检测算法。通过需求驱动的控制流分析和数据流分析,建立内存访问语句和函数调用语句发生溢出的线性约束,从而将缓冲区溢出的检测问题转换为线性约束求解问题。我们实现了该算法的原型,实验表明,该原型可以准确而高效地发现实际程序中的缓冲区溢出漏洞。

缓冲区溢出蠕虫病毒实验方案的设计

分析了蠕虫病毒和缓冲区溢出的基本原理,针对目前在信息安全专业中开展计算机病毒实践教学的难点,给出了一个缓冲区溢出蠕虫病毒的实验设计方案。

线性规划在缓冲区溢出检测中的应用研究

文中建立了一个缓冲区溢出检测模型,用整型区间约束系统来表示字符串和关键性函数,将C字符串操作抽象成线性规划问题来解决。设计了线性求解器对所产生的约束集合进行求解,进而确定缓冲区的界,然后用溢出条件判定漏洞是否发生。最后在wu-ftp-2.6.2上验证了该方法在检测缓冲区溢出上的可行性和有效性,并通过横向比较证明了其线性执行时间的效率。

基于堆栈的缓冲区溢出攻击原理

缓冲区溢出攻击是目前最有效的系统攻击手段,它大体上可以分为两种类型,一种是基于堆栈的,一种是基于堆和BSS的.分析了前一种攻击的工作原理,在此基础上,提出了相应的防范措施,如采用安全函数,加入校验代码等.

缓冲区溢出的建模分析

论文介绍了一种检测缓冲区溢出漏洞的建模方法。该方法的关键是对C语言的源代码做静态分析,把缓冲区溢出这个事件作为一个整数区域问题来看待,从而建立缓冲区溢出的数学模型。该模型的一个优点是在代码编译以前可以通过静态分析的方法来发现潜在的缓冲区溢出漏洞。

基于DSP+FPGA的三缓存图像处理系统设计

设计了一种基于DSP+FPGA结构的高性能图像处理系统,在系统驱动设计中针对图像复杂度增加带来的处理超时问题,设计了三缓存结构的图像处理驱动程序,该方案在使得图像处理超时时间累积达到一帧时发生丢帧。系统验证结果表明,图像处理出现超时情况下,该方法实现的驱动程序处理效率高于传统的乒乓方式。

防喷装置在艾维尔沟矿区防突钻孔施工中的应用研究

为了解决艾维尔沟矿区突出矿井瓦斯抽采钻孔施工期间易发生喷孔导致超限的难题,通过现场考察、抽采管和巷道环境瓦斯浓度变化,分析了现有防喷装置存在的不足,并进行了改进。研究表明:现有防喷装置因没有提供可靠的瓦斯缓冲空间且排渣口未完全密封,导致瞬间涌出的大量高浓度瓦斯通过排渣口与水渣同时进入钻场,引起超限。通过改进孔口装置、增加合适缓冲体积的气水渣收集缓冲器改进了防喷装置,改进防喷装置后喷孔期间抽采管路平均瓦斯浓度提高了85%,钻场瓦斯浓度降低了62.6%,能保证防喷效果,防止瓦斯超限。