|
|||||
|
|
| 安全协议形式化分析方法综述之二——基于攻击结构性方法 | |
| 引用本文： | 范红,冯登国. 安全协议形式化分析方法综述之二——基于攻击结构性方法[J]. 网络安全技术与应用, 2003, 0(6): 15-18 |
| 作者姓名： | 范红 冯登国 |
| 作者单位： | 中科院研究生院信息安全国家重点实验室 |
| 摘 要： | 本文给出了现行的基于攻击结构性方法的分类,分析了各类工具的特点。 |
| 关 键 词： | 攻击结构性方法 安全协议 形式化分析 |
One Summary of Methods of Security Protocol''s Formal Analysis Ⅱ——Based on The Assult Structuring Measure |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |