基于进化规划的网络安全协议的自动生成

提出了基于进化规划的安全协议生成方法,并用BAN逻辑来描述和验证协议,为进一步提高协议生成效率,降低协议消息的冗余度,加入了协议优化模块.该方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议.实验表明,本文方法能够成功、高效地生成安全协议,保证所生成协议的安全性.     

一种对阶层式移动IPv6(HMIPv6)的优化方案

本文在阶层式移动IPv6框架的基础上提出了一种新方案.引入候选接入路由器信息发现（CARID）机制,从移动检测、配置新链路地址两个环节缩短转交延时.同时,引入候选移动锚点信息发现（CMAPID）机制,加快移动锚节点（MAP）发现,提高移动节点在MAP域间移动时的绑定更新速度.该方案提高了移动IPv6对语音等实时通信的支持能力,实现了对移动IPv6的优化.     

一种分级入侵预警方案

本文提出了一种分级入侵预警方案。文章说明了分级入侵预警系统的整体框架,分析了各组成部分的功能和实现方案。该预警方案能够利用网络安全漏洞检测系统的检测结果对依据攻击关系图预测的下一步攻击进行分析,实现分级预警。