基于"层"模式的双机容错系统

容错技术广泛应用于各个行业来保证系统的冗余和可靠性。文章在分析比较当前的双机容错系统的性能优缺点后,提出了一种全新的基于“层”模式的双机容错系统解决方案。按照这种模式,可以从链路层到应用层构建一个通用的系统级的双机容错系统。文章对其实现的关键技术进行了阐述。     

安全协议和网络攻击分析

安全协议提供安全服务,是保证网络安全的基础。文章通过形式化分析方法,采用AVISPA分析工具对安全协议进行分析,总结出网络攻击方式的类型及其相应的解决办法。     

天基综合信息网安全性路由协议分析

天基综合信息网是未来卫星网络的发展趋势,与国家利益联系日益紧密,也是人们关注的热点问题。文中首先介绍了卫星网络的划分模式及种类,其次,针对天基综合信息网分别描述了其系统构成和主要特点,然后对天基综合信息网所面临的攻击威胁进行了分析,并就基于信任机制及认证机制的路由协议和抗毁路由协议等从原理和性能方面进行了阐述和安全分析,最后对天基综合信息网的安全路由协议进行了总结。综合利用各种卫星资源,提高卫星网络的综合利用效率,提高整个空间网络的安全性。     

认证协议研究概览

认证协议是以密码学为基础的协议,它的最终目标是在分布式系统中提供各种各样的安全服务,是保证网络安全的基础。文中阐述了网络安全需要通过认证协议来进行主体之间的相互认证,而认证协议的正确性需要借助形式化的分析工具来进行验证。认证协议是非常精细和微妙的,认证也不是静止不变的。设计与分析认证协议是十分困难的,它是严格分析技术的最佳选择,是分布式安全结构的重要组成部分,而各种类型的形式化分析工具各有优劣。     

无线网络环境下的密钥分配成功率分析及仿真

简述了密钥分配成功率理论,分析了影响无线网络环境下的密钥分配成功率的不利因素,并有针对性地提出提高密钥分配成功率的有效措施。．通过仿真结果表明,该措施能够提高无线网络环境下的密钥分配成功率。     

一种适用于空间飞行器的可重构信息处理平台硬件设计

在我国空间通信技术取得巨大发展的今天,对空间飞行器电子设备功能可重构、可升级、运行代码可更换的需求越来越多。分析了空间辐射效应对高性能数字信号处理器（DSP）和SRAM型FPGA的影响,提出了一种适用于空间飞行器上的可重构信息处理平台的硬件设计方法,具有可重构、可在线升级运行代码的特点。该硬件架构计由高性能DSP和高可靠性的反熔丝FPGA为主要组成,提出了这种架构对抗空间单粒子效应的方法。该电路设计方法可以为空间飞行器通信设备的设计提供参考。     

怎样用好AVISPA工具

AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmaes模式能够设置更加直观而简便的操作和编译环境,对安全协议进行分析并得出结论.     

安全协议形式化分析的研究和实现

安全协议是指使用密码技术或提供安全服务的协议,可以实现认证和密钥交换等安全目的.安全协议分析工具是指一套建立和分析安全协议模型的工具,它采用形式化的分析方法对安全协议进行分析并得出结论.文章以EKE协议为例,采用AVISPA分析工具对其安全性进行分析,给出了安全性与攻击轨迹的关系.     

基于PCI设备的WDM驱动程序设计

文章通过PCI2040与TMS320VC5410的应用实例,详细介绍了PCI设备WDM驱动程序的开发过程,着重介绍了PCI总线的地址映射和中断处理服务例程。