安全协议形式化分析方法综述之一:基于推理结构性方法

本文给出了基于推理结构性安全协议形式化分析方法的一个全面综述,分析了此类方法中的各种逻辑系统的优势与不足。