%0 Journal Article
%T 认证协议的形式化分析*
%A 卿斯汉
%J -
%D 1996
%X 认证协议的设计是一项十分困难的工作。国际标准化组织(ISO)一直致力于不同环境的认证协议标准的制定．本文研究用BAN逻辑形式化地分析认证协议的方法，指出BAN逻辑分析并非总是推导出正确的结论．在此基础上，本文讨论了认证协议的设计原则以及改进BAN逻辑的设想
%K 认证
%K 认证协议
%K BAN逻辑
%K 密码算法
%K 杂凑函数
%K 数字签名．
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=1996s115&flag=1