基于Strand空间的认证协议证明方法研究
Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的认证协议.最后得出与相关文献相同的结论.
Strand空间、认证协议、协议证明、形式化方法
13
TP309(计算技术、计算机技术)
国家S219工程资助项目2000-A32-09
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共5页
1313-1317