基于细粒度逻辑隔离结构的缓冲区溢出检测方法

• 作者: 庄琭 张兴 李晨 李瑞华
• 来源期刊: 清华大学学报（自然科学版）
• 学科: 工学
• 关键词: 计算机信息安全 缓冲区溢出 细粒度 逻辑隔离 检测时刻 检测范围
• 年，卷（期）: 2009,（z2）
• 页码范围: 2138-2143
• 页数: 6页
• 分类号: TP393.08
• 语种: 中文

摘要

在计算机信息安全领域中, 提出了一种缓冲区溢出及检测方法.采用图灵机, 分析了产生溢出问题的原因是状态空问筒化.攻击案例表明了现有检测机制在检测范围和检测时刻的不足.设计了细粒度的缓冲区数据逻辑隔离结构, 提出了一种缓冲区溢出检测的通用模型, 进行了时序逻辑分析.结果表明: 该模型在检测粒度和范围上比传统方法更加准确和全面;在栈空间上的应用该模型, 可以弥补现有缓冲区结构和检测机制的不足.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄琭		8	81	4.0	8.0
2	李晨		10	42	2.0	6.0
3	张兴		18	185	7.0	13.0
4	李瑞华		2	1	1.0	1.0