单向函数在公钥认证协议中的作用
对认证协议进行了研究,指出采用保密服务是设计认证协议是一种安全服务的误用,存在两种潜在的安全隐患.针对带密钥的单向函数提出了一种扩展的BAN逻辑.利用该逻辑对两种改进的公钥认证协议进行形式化分析,说明带密钥的单向函数所提供的两种安全服务能够保证公钥认证协议的安全.
BAN逻辑、单向函数、公钥认证协议
25
TP309(计算技术、计算机技术)
科技部科研项目G1999035802
2005-11-24(万方平台首次上网日期,不代表论文的发表时间)
共3页
2509-2511