安全协议形式化分析理论与方法研究综述

• 作者: 冯登国 范红
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: 安全协议 安全模型 形式化分析 形式化语言
• 年，卷（期）: 2003,（4）
• 所属期刊栏目: 综述
• 页码范围: 389-406
• 页数: 18页
• 分类号: TP393
• 字数: 21946字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-1175.2003.04.001

摘要

综述目前安全协议形式化分析的理论与方法,包括安全协议的分类与模型,安全协议形式化分析的3种典型方法(基于推理的结构性方法,基于攻击的结构性方法,基于证明的结构性方法),安全协议分析的形式化语言,安全协议设计的形式化方法,以及安全协议形式化分析面临的挑战.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中国科学院软件研究所	243	6305	35.0	71.0
2	范红	中国科学院软件研究所	10	243	6.0	10.0