安全协议形式化分析的研究现状及有关问题

• 作者: 冯登国 范红
• 来源期刊: 网络安全技术与应用
• 学科: 工学
• 关键词: 安全协议 形式化分析 协议模型
• 年，卷（期）: 2001,（8）
• 所属期刊栏目: 论坛与综述
• 页码范围: 12-15
• 页数: 4页
• 分类号: TP3
• 字数: 4952字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-6833.2001.08.003

摘要

本文主要概述了安全协议形式化分析的研究状况,分析了现有安全协议形式化分析工具所面临的挑战和问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中国科学院信息安全国家重点实验室	243	6305	35.0	71.0
2	范红	中国科学院信息安全国家重点实验室	10	243	6.0	10.0