Linux上使用包裹函数防止堆栈溢出攻击的研究

通过对C源代码的静态分析，将源代码中存在缓冲区溢出缺陷的库函数替换为增加了边界检查的包裹函数, 有效地检测和处理堆栈缓冲区溢出攻击。

一种基于EAI模型的软件安全测试方法

研究了一种用于测试软件安全的基于EAI(Environment Application Interaction Model)模型的软件错误注入测试方法,提出了用包裹函数实现软件错误注入的安全测试方法及实现方法.对四个应用软件进行了实际测试,实验结果表明,该方法是有效的.

Windows NT环境下的进程检查点设置与回卷恢复

阐述了 Windows NT环境下应用程序的检查点设置与回卷恢复机制 ,并介绍了设计和实现的检查点设置与恢复工具 Win NTCkpt.Win NTCkpt采用标准 Windows API函数 ,通过代码动态注入和对系统调用进行包裹的方法进行检查点设置与回卷恢复 .与同类工具相比 ,Win NTCkpt具有不需修改应用程序源代码 ,不需对应用程序进行重新编译或连接 ,支持对用户文件内容的检查点设置与回卷恢复的特点 .Win NTCkpt是正在研制开发的高可用性机群计算环境的核心 ,也是在机群环境下实现进程迁移和负载平衡的技术基础 .

基于PVM的协调检查点设置关键技术

本文论述了基于 PVM的并行程序运行回卷恢复系统设计和实现过程中的退出再加入 PVM机制、任务号隐式映射机制、任务结束前同步机制、防止 PVM库重入机制、信号与消息协同触发机制、应用任务初始化机制以及作为前述各机制实现基础的函数包裹与换名机制等关键技术 .这些技术已经成功地应用于我们自主开发的 Cha RM系统中 。