中文会议： 21世纪通信新技术－第六届全国青年通信学术会议论文集

会议日期： 1999-05-07

会议地点： 北京

主办单位： 中国通信学会

出版方 ： 中国通信学会

出版日期： 1999-04-01

出版地： 北京

作　　者： ; ; ;

机构地区： 西安电子科技大学

出　　处： 《第六届全国青年通信学术会议》

摘　　要： 该文首次尝试运用形式方法的模型检测工具SMV(SymbolicModelVerifier)对著名的Needham-Schroeder公钥协议进行安全分析。同时给出了协议的一个改进版本，并再次用SMV对Needham-Schroeder公钥协议的改进版本进行了安全分析，结果表明新的Needham-Schroeder公钥协议是安全的。

关 键 词： 公钥协议 工具软件 密码协议 模型检测 网络安全

分 类 号： [TP302 TN918.1]

领　　域： [自动化与计算机技术] [自动化与计算机技术] [电子电信] [电子电信]