作 者：李军 何大可 Li Jun He Dake (Computer Security and Communication Secrecy Institute, South - West Jiaotong University, Chengdu 610031)
作者机构：西南交通大学计算机安全与通信保密研究所成都610031
出 版 物：《通信技术》 (Communications Technology)
年 卷 期：2002年第35卷第2X期
页 面：67-69,79页
学科分类：08[工学] 0835[工学-软件工程]
主 题：密码协议 安全性分析 BAN逻辑 健全性
摘 要：“健全的密码协议，可以抵抗多种类型的攻击，建议作为密码协议设计的一个准则，这将有助于协议的早期分析，部分地弥补ＢＡＮ逻辑的不足。
