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