-
题名基于控制流数据保护的缓冲区溢出防御方法
被引量：1
- 1
-
-
作者
张蓝图
王瑛
-
机构
中船重工第
-
出处
《计算机工程与应用》
CSCD
2012年第15期63-69,87,共8页
-
文摘
根据栈缓冲区溢出的基本原理,介绍了三种缓冲区溢出攻击的基本模式,分析了现有的动态防御方法所存在的优缺点。以此为基础,提出了一种基于控制流相关数据保护的栈缓冲区溢出动态防御方法,引入了加密机制,有效地防御攻击者对保护数据的篡改。设计并实现了针对目标文件为对象的二进制文件重构工具,通过理论分析和实验表明该方法能够极大概率防御各种缓冲区溢出攻击。
-
关键词
软件漏洞
栈缓冲区溢出
动态防御
控制流数据
-
Keywords
software vulnerability
stack buffer overflow
dynamic prevention
control-flow data
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名基于CDFG和OVL的系统验证性质分类
被引量：1
- 2
-
-
作者
朱明
边计年
吴为民
-
机构
清华大学计算机系设计自动化实验室
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第10期48-50,共3页
-
基金
国家自然科学基金资助项目(60273011)
国家"863"高技术研究发展计划基金资助项目(2003AA115110)
-
文摘
在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。
-
关键词
模拟
形式验证
性质
模型检测
数据控制流图
-
Keywords
Simulation
Formal verification
Property
Model checking
CDFG
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名面向系统功能特性的协同验证方法研究
- 3
-
-
作者
朱明
边计年
吴为民
-
机构
清华大学计算机科学与技术系
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2005年第12期1732-1737,1796,共7页
-
基金
国家自然科学基金资助项目(60203020
60273011)
国家863/CIMS主题资助项目(2003AA115110)~~
-
文摘
为了提高芯片设计中功能验证环节的效率,提出了一种对系统的功能特性归类划分、自动选择适合的验证技术的协同验证方法,构建了多种验证技术之间无缝协作的平台。该协同验证方法所依据的策略是:特定的功能特性采用特定的验证技术更有效。因此,利用不同验证技术的互补验证能力,可提高验证效率。协同验证平台的实现是基于从控制数据流图得到的细化模型,该细化模型采用了包括特性分组、变量重排、结构细化等模型优化技术,以提高验证速度。根据在ITC99上的验证,证明了该协同验证方法的有效性和实用性。
-
关键词
特性
验证
模拟
模型检验
协同验证
数据控制流图
-
Keywords
property
verification
simulation
model checking
collaborative verification
control data flow graph
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
