spi演算证明协议非可否认性

• 作者: 李援 王焕宝 蒋建国
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: spi演算 非可否认 公平性 消息起源测试
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 技术报告
• 页码范围: 94-98
• 页数: 5页
• 分类号: TP309
• 字数: 4349字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2009.05.014

摘要

spi演算以进程代数理论作为基础,适合多轮并发条件下安全协议的证明.通过在spi系统中引入消息起源测试成功表示了签名消息的安全语义,并在此基础上验证了ZG协议的非可否认性,扩展了spi演算在安全协议证明中的应用范围.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋建国	合肥工业大学计算机与信息学院	245	2905	27.0	39.0
2	王焕宝	安徽建筑工业学院数理系	19	48	4.0	6.0
3	李援	合肥工业大学计算机与信息学院	12	257	7.0	12.0