安全协议形式化分析方法综述之二——基于攻击结构性方法

One Summary of Methods of Security Protocol's Formal Analysis Ⅱ——Based on The Assult Structuring Measure

本文给出了现行的基于攻击结构性方法的分类,分析了各类工具的特点。