%0 Journal Article
%T 基于Strand空间的认证协议证明方法研究
%A 刘东喜
%A 白英彩
%J -
%D 2002
%X Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的认证协议.最后得出与相关文献相同的结论
%K Strand空间 认证协议 协议证明 形式化方法
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20020719&flag=1