三方密码协议运行模式分析法

• 作者: 刘秀英 张玉清 杨波 邢戈
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: 密码协议 形式化分析 模型检测 运行模式分析法
• 年，卷（期）: 2004,（3）
• 所属期刊栏目: 论文
• 页码范围: 380-385
• 页数: 6页
• 分类号: TP309
• 字数: 5529字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-1175.2004.03.015

摘要

在两方密码协议运行模式分析法的基础上,利用模型检测的理论结果,提出了三方密码协议运行模式分析法.用这种方法对Davis Swick协议进行了分析,成功地验证了此协议的安全性,说明了所提出的三方密码协议运行模式分析法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张玉清	中国科学院研究生院信息安全国家重点实验室	147	3010	26.0	50.0
5	邢戈	中国科学院研究生院信息安全国家重点实验室	5	103	4.0	5.0
9	杨波	西安电子科技大学信息安全教育部实验室	72	622	14.0	22.0
10	刘秀英	西安电子科技大学信息安全教育部实验室	2	15	2.0	2.0