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