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