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

Survey on Theories and Methods of Formal Analyses for Security Protocols

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

Theories and methods of formal analyses for security protocol are surveyed.A classfication and a system model of formal analyses is given,and three classes of formal analysis methods(based on reasoning,based on attack,based on proof)and formal languages used in formal analyses are commented in details.Also disscussed is a new challenge the methods of security protocol formal analysis are facing.Corresponding comments on these theories and methods are also given during the discussion.Challenges formal analyses face are also proposed.