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

作者：冯登国; 范红

来源：中国科学院研究生院学报, 2003, (04): 389-406.

• 安全协议
• 安全模型
• 形式化分析
• 形式化语言 security protocol
• security model
• formal analysis
• formal language

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

• 出版日期2003
• 单位中国科学院软件研究所