论文部分内容阅读
如何设计出满足安全需求的安全协议是一项非常重要的课题，目前尚无有效的方法。Fail—Stop协议在遭遇干扰其正常运行的主动攻击时完全停止。提出了一种设计Fail—Stop协议的新方法，分析了这种方法的正确性。分析了SSL协议早期版本的安全缺陷，使用本方法对其进行了改进。
一种设计Fail—Stop协议的新方法
【摘 要】
：
如何设计出满足安全需求的安全协议是一项非常重要的课题，目前尚无有效的方法。Fail—Stop协议在遭遇干扰其正常运行的主动攻击时完全停止。提出了一种设计Fail—Stop协议的新
【机 构】
：
解放军理工大学理学院,中国人民解放军65047部队
【出 处】
：
计算机与现代化
【发表日期】
：
2007年6期
其他文献
介绍了公匙安全技术在中间件Tuxedo中的应用，论述了基于PKCS-7标准的端到端加密原理，阐述了如何实现发送和接收加密消息的功能以及UBBCONFIG配置文件中参数的设置。
介绍了人体免疫系统的基本原理及其免疫算法在0-1背包问题中的应用。生物免疫算法是基于人体免疫系统基本原理的一种新型仿生学算法，将它应用于求解0-1背包问题，对解决现实世界
分析了航空产品工程数据版次管理以及工艺指令发放管理的模式，提出基于数据发放控制的工艺指令版次管理新思路。建立了工艺指令的版次管理流程，进而阐述了采用信息技术的实现方
城市交通管理系统是智能交通系统中重要的组成部分,本文对基于GIS的城市交通信息综合平台的主要功能、技术路线、关键技术作了介绍。
针对数据库应用系统中两层结构和三层结构的优势与不足，设计了两种体系结构并存的解决方案。利用DCOM实现隐藏逻辑代码和复杂的企业应用逻辑运算规则，部分客户用ADO直接与数据
从源码中抽取设计模式对于提高软件可理解性和可维护性、软件设计重用以及软件重构具有重要意义.本文研究基于设计模式的软件设计恢复方法框架,并根据该框架对设计模式实例查
随着IP数据网络在规模和复杂性方面的持续增长，现行网络管理技术面临挑战。本文首先介绍了现行网络管理标准的局限及其发展现状。分析了Web services体系结构和协议栈。提出了
探讨了多媒体教学课件评价的重要性以及制定多媒体教学课件综合评价指标体系的原则，给出了包括教育性、科学性、技术性和艺术性四个方面二十九个指标的多媒体教学课件综合评价