排序方式: 共有9条查询结果,搜索用时 0 毫秒
1
1.
容错技术广泛应用于各个行业来保证系统的冗余和可靠性。文章在分析比较当前的双机容错系统的性能优缺点后,提出了一种全新的基于“层”模式的双机容错系统解决方案。按照这种模式,可以从链路层到应用层构建一个通用的系统级的双机容错系统。文章对其实现的关键技术进行了阐述。 相似文献
2.
安全协议和网络攻击分析 总被引:1,自引:0,他引:1
安全协议提供安全服务,是保证网络安全的基础。文章通过形式化分析方法,采用AVISPA分析工具对安全协议进行分析,总结出网络攻击方式的类型及其相应的解决办法。 相似文献
3.
天基综合信息网是未来卫星网络的发展趋势,与国家利益联系日益紧密,也是人们关注的热点问题。文中首先介绍了卫星网络的划分模式及种类,其次,针对天基综合信息网分别描述了其系统构成和主要特点,然后对天基综合信息网所面临的攻击威胁进行了分析,并就基于信任机制及认证机制的路由协议和抗毁路由协议等从原理和性能方面进行了阐述和安全分析,最后对天基综合信息网的安全路由协议进行了总结。综合利用各种卫星资源,提高卫星网络的综合利用效率,提高整个空间网络的安全性。 相似文献
4.
5.
简述了密钥分配成功率理论,分析了影响无线网络环境下的密钥分配成功率的不利因素,并有针对性地提出提高密钥分配成功率的有效措施。.通过仿真结果表明,该措施能够提高无线网络环境下的密钥分配成功率。 相似文献
6.
7.
怎样用好AVISPA工具 总被引:1,自引:0,他引:1
AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmaes模式能够设置更加直观而简便的操作和编译环境,对安全协议进行分析并得出结论. 相似文献
8.
安全协议形式化分析的研究和实现 总被引:2,自引:2,他引:0
安全协议是指使用密码技术或提供安全服务的协议,可以实现认证和密钥交换等安全目的.安全协议分析工具是指一套建立和分析安全协议模型的工具,它采用形式化的分析方法对安全协议进行分析并得出结论.文章以EKE协议为例,采用AVISPA分析工具对其安全性进行分析,给出了安全性与攻击轨迹的关系. 相似文献
9.
文章通过PCI2040与TMS320VC5410的应用实例,详细介绍了PCI设备WDM驱动程序的开发过程,着重介绍了PCI总线的地址映射和中断处理服务例程。 相似文献
1