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

• 作者: 刘东喜 白英彩
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Strand空间 认证协议 协议证明 形式化方法
• 年，卷（期）: 2002,（7）
• 页码范围: 1313-1317
• 页数: 5页
• 分类号: TP309
• 字数: 4192字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	白英彩	上海交通大学计算机科学与工程系	185	1721	20.0	33.0
2	刘东喜	上海交通大学计算机科学与工程系	9	120	6.0	9.0