基于概率可观察等价性的安全协议分析

• 作者: 张锋 熊选东 贾学东
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 进程代数 概率进程 概率可观察等价性 安全协议分析
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 教学与信息安全
• 页码范围: 161-164
• 页数: 4页
• 分类号: TP393.08
• 字数: 2991字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2007.02.008

摘要

针对Spi演算在安全协议分析中存在的局限性,通过引入概率多项式时间进程,提出了一个分析安全协议的新方法.该方法是对Spi演算的改进,在这个方法中攻击者是概率多项式时间进程,协议的安全性用概率可观察等价性表示.通过对Needham-Schroeder对称密钥认证协议的分析,验证了该方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	熊选东	信息工程大学电子技术学院	13	93	5.0	9.0
2	张锋	信息工程大学电子技术学院	8	16	2.0	4.0
3	贾学东	信息工程大学科研部	17	87	5.0	9.0