基于Strand空间的认证协议证明方法研究

被引：5

作者：

刘东喜

白英彩

机构：

[1] 上海交通大学计算机科学与工程系

[2] 上海交通大学计算机科学与工程系上海

[3] 上海

来源：

关键词：

Strand空间; 认证协议; 协议证明; 形式化方法;

D O I：

10.13328/j.cnki.jos.2002.07.019

中图分类号：

TP393.08 [];

学科分类号：

0839 ; 1402 ;

摘要：

Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的认证协议.最后得出与相关文献相同的结论.

引用

页码：1313 / 1317

页数：5