| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 身份认证协议的模型检测分析 |
| 作者 | 徐蔚文 陆鑫达 |
| 作者单位 | (上海交通大学计算机科学与工程系 上海 200030) |
| 发表年份 | 2003 |
| 发表月份 | 2期 （页码：195—201) |
| 文章摘要 | 摘要 提出一个直观、易用的模型来模拟和验证身份认证协议，并给出基于Spin（模型检测工具）的实现，它不仅可以模拟多对参与者同时进行会话，而且还有效缩减了状态空间，从而避免了以前文献中提到的状态爆炸现象.同时该文用NeedhamSchroeder 公钥协议和TMN协议来说明如何应用该模型. 关键词 身份认证协议；模型检测；Spin 中图法分类号 ：TP309 |