密码协议的秘密性证明

• 作者: 沈昌祥 胡成军 郑援
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 密码协议 秘密性 定理证明
• 年，卷（期）: 2003,（3）
• 所属期刊栏目: 短文
• 页码范围: 367-372
• 页数: 6页
• 分类号: TP309
• 字数: 6744字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2003.03.015

摘要

在Paulson的归纳方法基础上提出一种新的密码协议秘密性的证明方法.该方法在消息事件结构中引入会话标识符,给出协议满足秘密性的充要条件,大大简化了协议秘密性的证明,高效且适合机械化实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈昌祥		85	1836	20.0	41.0
2	胡成军	中国科学院研究生院信息安全国家重点实验室	3	22	2.0	3.0
6	郑援		29	116	7.0	9.0