整数溢出相关论文
整数溢出引起的软件系统安全性问题屡见不鲜,已有的模型检测技术由于存在状态空间爆炸、不能有效支持中断驱动型程序检测等缺点而......
整数溢出是缓冲区溢出的一种,它可以被利用来导致用户权限的提升等安全问题.Linux内核是Linux系统和Android系统安全保障的基础,因......
SMT求解器作为程序自动分析的组件,被越来越多的应用在安全漏洞研究领域.本文通过对整数安全问题和SMT求解器的分析,深入研究使用S......
相信大家对去年的MS06-055还记忆犹新吧？那是由于微软的矢量标记语言VML中的Method变量IE未对其长度进行检查，导致了一个栈溢出漏洞......
为了防止由整数溢出引起的缓冲区溢出,提出了一种简化的基于路径松弛的整数溢出检测方法.表示动态分配缓冲区大小的整型变量发生溢......
SMT求解器作为程序自动分析的组件,被越来越多的应用在安全漏洞研究领域.本文通过对整数安全问题和SMT求解器的分析,深入研究使用S......
整数溢出是缓冲区溢出的一种,它可以被利用来导致用户权限的提升等安全问题.Linux内核是Linux系统和Android系统安全保障的基......
我公司水泥粉磨系统采用的是SIEMENS(西门子)控制系统,编程采用S7-400梯形逻辑编程.本系统投运已将近三年,基本稳定,生产一直正常.......
随着Java应用越来越广泛，与Java相关的脆弱性问题也越发突出，为了提高Java软件的安全性，对Java程序中的脆弱性模式进行了研究．应用了分......
...
面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法（dynamic automatic integer-overflow detection and testing......
在研究整数溢出产生原因的基础上，提出基于整型变量一致化处理且面向软件源代码整数溢出的检测方法该方法将整数溢出检测问题抽象为......
为了防止由整数溢出引起的缓冲区溢出，提出了一种简化的基于路径松弛的整数溢出检测方法．表示动态分配缓冲区大小的整型变量发生溢出......
Web分布式创作和版本控制协议(WebDAV，Web Distributed Authoringand Versioning)是超文本传输协议的一组扩展．为Internet上计算机之......
受影响系统：Linux kernel 2.6.9及以下若干版本。...
随着信息技术的发展,各式各样的软件应用到现代社会的方方面面。由于软件规模不断膨胀、运行环境更加复杂和功能更加多样,如何保障......
攻击者之所以可以对一些Web服务器进行渗透和入侵,主要是利用了这些服务器存在的一些安全漏洞。因此,了解和发现Web服务器存在的漏......
提出了基于整数区间和控制依赖图,通过静态分析来检测C语言源代码中安全漏洞的新方法.该方法在引入整数区间概念及其运算规则的基......
整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临Oracle问题,无法判断程序是否出现整型错误,......
依据整数溢出漏洞特征,该文在对220个实际整数溢出漏洞分析的基础上提出了3种检测策略来缓解静态分析技术的高误报问题。结合静态......
Linux系统中的驱动漏洞已经被证实是内核中漏洞的主要来源。由驱动漏洞所造成的系统崩溃等安全问题，已经成为系统安全性面临的重大......
受限于不完备的函数调用图分析和路径可达性分析，当前静态整数溢出检测工具存在较为严重的误报情况。为解决这一问题，以源代码中外部......
期刊
