安全协议的分析方法

安全协议是否存在安全缺陷,或者能否满足其安全目标,或者是否安全,需要通过各种方法来分析验证。目前,对于安全协议的分析主要有3种方法,即:基于推理的结构性方法(In-ference-construction methods)、基于攻击的结构性方法(Attack-construction methods)和基于证明的结构性方法