论文部分内容阅读
在计算机信息安全领域中,提出了一种缓冲区溢出及检测方法。采用图灵机,分析了产生溢出问题的原因是状态空间简化。攻击案例表明了现有检测机制在检测范围和检测时刻的不足。设计了细粒度的缓冲区数据逻辑隔离结构,提出了一种缓冲区溢出检测的通用模型,进行了时序逻辑分析。结果表明:该模型在检测粒度和范围上比传统方法更加准确和全面;在栈空间上的应用该模型,可以弥补现有缓冲区结构和检测机制的不足。
In the field of computer information security, a buffer overflow and detection method is proposed. Turing machine was used to analyze the spillover problem because the state space is simplified. Attack cases show that the existing detection mechanism in the detection range and detection of the lack of time. A granular isolation structure of buffer data is designed. A general model of buffer overflow detection is proposed, and a sequential logic analysis is carried out. The results show that the model is more accurate and comprehensive than the traditional method in detecting particle size and range. Using this model in stack space can make up for the deficiencies of the existing buffer structure and detection mechanism.