| TMN协议的MCJ模型分析 |
| |
| 引用本文： | 郑东,王育民.TMN协议的MCJ模型分析[J].电子学报,1999,27(10):138-139,86. |
| |
| 作者姓名： | 郑东 王育民 |
| |
| 作者单位： | 西安电子科技大学综合业务网国家重点实验室,西安,710071 |
| |
| 基金项目： | 国家自然科学基金，国防科技保密通信重点实验室基金 |
| |
| 摘 要： | 本文利用由ＷｉｌｌＭａｒｒｅｒｏ，Ｅｄｍｕｎｄ Ｃｌａｒｋｅ及Ｓｏｍｅｓｈ Ｊｈａ提出的认证协议的检测模型，对改进的ＴＮＭ协议进行检测，给出了如何将ＴＭＮ协议模型化，并利用该模型对其进行检测，找出了用ＣＳ模型没胡找到的两个新的攻击方法，最后给出了ＴＭＮ协议的改进形式。
|
| 关 键 词： | TMN协议 MCJ模型检测 |
The MCJ Analysis of TMN Protocol |
| |
| ZHENG Dong,WANG Yu-min.The MCJ Analysis of TMN Protocol[J].Acta Electronica Sinica,1999,27(10):138-139,86. |
| |
| Authors: | ZHENG Dong WANG Yu-min |
| |
| Abstract: | In this paper,we use a model checker for authentication protocol,due to Marrero,Edmund,and Jha,to detect errors in the improved TMN protocol 1] .We show how to model the TMN protocol,by the MCJ mode,which is used to test if the intrude can successfully attack the protocol,and find out two kind of new flaws which were not found by the CSP method.Finally,we give an improved TMN protocol. |
| |
| Keywords: | TMN protocol MCJ model checker |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
