Indexed by：
Abstract：
在计算机信息安全领域中, 提出了一种缓冲区溢出及检测方法.采用图灵机, 分析了产生溢出问题的原因是状态空问筒化.攻击案例表明了现有检测机制在检测范围和检测时刻的不足.设计了细粒度的缓冲区数据逻辑隔离结构, 提出了一种缓冲区溢出检测的通用模型, 进行了时序逻辑分析.结果表明: 该模型在检测粒度和范围上比传统方法更加准确和全面;在栈空间上的应用该模型, 可以弥补现有缓冲区结构和检测机制的不足.
Keyword：
Reprint Author's Address：
Email：
Source ：
清华大学学报（自然科学版）
ISSN： 1000-0054
Year： 2009
Issue： z2
Volume： 49
Page： 2138-2143
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 2
Chinese Cited Count：
30 Days PV： 1
Affiliated Colleges：
