摘要：随着网络的发展,协议的安全性越来越受到关注,现在国际上的热点集中在对安全协议的形式化验证和分析方面.本文通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在的缺陷并提出改进方案.

关键词：网络安全 数据加密 数字签名 数据传输 

单位：华中科技大学计算机学院; 湖北; 武汉; 430074; 华中科技大学计算机学院; 湖北; 武汉; 430074; 湖北师范学院计算机科学系; 湖北; 黄石; 435002