一种互认证密码协议的设计和分析

作     者：郑明磊 李建华 张少俊 ZHENG Ming lei, LI Jian hua, ZHANG Shao jun (Dept. of Electronic Eng., Shanghai Jiaotong Univ., Shanghai 200030, China)

作者机构：上海交通大学电子工程系上海200030 

出 版 物：《上海交通大学学报》 (Journal of Shanghai Jiaotong University)

年 卷 期：2003年第37卷第6期

页      面：918-921,926页

核心收录：

学科分类：0839[工学-网络空间安全] 08[工学] 

主　　题：密码协议 BAN逻辑 公开密钥算法 

摘      要：为在不安全的网络中建立安全的通信 ,提出了一种用于网络管理互认证的具有较高效率的密码协议 ,介绍了该密码协议的相关设计背景 .总结了若干关于密码协议设计的原则 ,通过运用经过补充的 BAN逻辑对该协议进行形式化分析 ,并通过计算机对该协议的握手协议过程进行仿真 .仿真结果表明 ,在被加密协议参数相同的条件下 ,该协议减少了系统开销 。