基于概率多项式时间进程的安全协议分析

• 作者: 王亚弟 王全来 韩继红
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 进程代数 概率进程 概率可观察等价性 安全协议分析
• 年，卷（期）: 2007,（16）
• 所属期刊栏目: 安全技术
• 页码范围: 109-110,113
• 页数: 3页
• 分类号: TP309
• 字数: 2809字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.16.037

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	王全来	解放军信息工程大学电子技术学院	5	11	2.0	3.0