摘要：如何设计出满足安全需求的安全协议是一项非常重要的课题,目前尚无有效的方法。Fail-Stop协议在遭遇干扰其正常运行的主动攻击时完全停止。本文提出了一种设计Fail-Stop协议的新方法,分析了这种方法的正确性;分析了SSL协议早期版本的安全缺陷,并使用本方法对其进行了改进。

关键词：安全协议 设计 ssl 

单位：解放军理工大学气象学院 江苏南京211101