半实物网络仿真动态路由方案设计与实现

针对半实物网络仿真动态路由难以实现的问题,在分析半实物网络仿真原理的基础上,提出了动态路由消息转换方法和基于时间分片的障碍同步算法,解决了动态路由的消息转换和系统实时性保证两个关键问题,利用虚拟IP技术解决了半实物网络仿真中的多主机配置问题,采用OSPF路由协议,设计并实现了基于OMNe T++的半实物网络仿真动态路由方案。通过多种虚实结合场景对动态路由协议进行功能验证和可扩展性测试,验证了方案的正确性。

基于WPA的无线局域网安全性分析

本文详细分析了最新的无线安全加密体制WPA的规范并对其安全性做了分析,结合目前广 泛使用的WEP加密体制的弱点,分析WPA的相比与WEP的优点,指出了WPA代替WEP成为无线安全屏 障的必然。

基于分层结构的Flash数据安全删除框架

针对Flash数据删除面临的主要威胁,归纳了Flash数据安全删除方案应满足的总体要求。以此为基础,提出了基于分层结构的Flash数据安全删除框架,研究安全的数据删除过程,描述了如何通过安全机制使数据删除的效率和安全性得到双重保障。

基于信息流分析的C代码安全编译技术研究

提出一种新的基于信息流分析的C代码安全编译技术。建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全。

基于容忍入侵的C代码安全编译技术

提出一种新的基于容忍入侵的C代码安全编译技术.建立信息流的格模型,在保证内存安全的前提下触发信息流安全机制.通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全.