| 本文已被：浏览 4352次 下载 6375次 |
码上扫一扫！ |
|
|
| 认证协议两种形式化分析方法的比较 |
|
卿斯汉1,2
|
|
1.中国科学院,信息安全技术工程研究中心,北京,100080;2.中国科学院,软件研究所,信息安全国家重点实验室,北京,100080
|
|
| 摘要: |
| 串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点. |
| 关键词: 认证协议 形式化分析 串空间模型 CSP方法 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant No.60083007 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.G1999035810 (国家重点基础研究发展规划(973)) |
|
| A Comparison Between Two Formal Analysis Methods on Authentication Protocols |
|
QING Si-Han
|
| Abstract: |
| Strand space model and CSP method are two popular approaches to formal analysis for authentication protocols. In this paper, the different characteristics of the above approaches are outlined through a concrete authentication protocol. |
| Key words: authentication protocol formal analysis strand space model CSP method |
