%0 Journal Article
%T 单向函数在公钥认证协议中的作用
%A 赵华伟
%A 李大兴
%J 计算机应用
%D 2005
%X ？对认证协议进行了研究，指出采用保密服务是设计认证协议是一种安全服务的误用，存在两种潜在的安全隐患。针对带密钥的单向函数提出了一种扩展的ban逻辑。利用该逻辑对两种改进的公钥认证协议进行形式化分析，说明带密钥的单向函数所提供的两种安全服务能够保证公钥认证协议的安全。
%K ban逻辑
%K 单向函数
%K 公钥认证协议
%U http://www.joca.cn/CN/abstract/abstract9420.shtml