密码协议的形式化分析

• 作者: 束妮娜 王亚弟
• 来源期刊: 计算机应用研究
• 关键词: 形式化分析 BAN逻辑 模型检测 通用形式方法 定理证明
• 年，卷（期）: 2001,（10）
• 所属期刊栏目: 通信技术
• 页码范围: 113-116
• 页数: 4页
• 分类号: TP363
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2001.10.037

摘要

在分析四类常用密码协议形式化分析方法的基础上,阐述了各自的优缺点.探讨了形式化分析所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向.

作者信息

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