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

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

作　　者：范红[1] 冯登国[1] 

机构地区：[1]中科院研究生院信息安全国家重点实验室

出　　处：《网络安全技术与应用》2003年第6期15-18,共4页Network Security Technology & Application

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

关 键 词：安全协议 形式化分析方法 攻击结构性方法 网络协议 通信协议 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]