密码协议的归纳证明方法

• 作者: 束妮娜 王亚弟
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 密码协议:归纳 迹
• 年，卷（期）: 2001,（10）
• 所属期刊栏目: 安全技术
• 页码范围: 129-131
• 页数: 3页
• 分类号: TP309.2
• 字数: 5370字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2001.10.049

摘要

通过计Otway-rees协议的分析,介绍了目前受到普遍关注的一种密码协议形式化分析方法-归纳方法

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	束妮娜	信息工程大学电f技术学院	4	21	3.0	4.0
2	王亚弟	信息工程大学电f技术学院	47	175	7.0	10.0