认证协议的形式化分析  

作　　者：卿斯汉 

出　　处：《软件学报》1996年第A00期107-114,共8页Journal of Software

摘　　要：认证协议的设计是一项十分困难的工作。

关 键 词：认证协议 密码 数字签名 安全保密 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]