TMN协议的MCJ模型分析

您当前的位置：

首页 >

文章列表页 >

TMN协议的MCJ模型分析

更新时间：2025-12-08

- TMN协议的MCJ模型分析
- The MCJ Analysis of TMN Protocol
- 电子学报 1999年第10期页码：138-139
- 作者机构：
  
  西安电子科技大学综合业务网国家重点实验室,西安,710071
- 作者简介：
- 基金信息：
  
  国家自然科学基金(61701067;61702065);国防科技保密通信重点实验室基金
- DOI：
  中图分类号： TP393.08
- 纸质出版：1999
- 稿件说明：
移动端阅览
[1]郑东,王育民.TMN协议的MCJ模型分析[J].电子学报,1999(10):138-139.

ZHENG Dong, WANG Yu min. The MCJ Analysis of TMN Protocol[J]. Acta Electronica Sinica, 1999, (10): 138-139.
[1]郑东,王育民.TMN协议的MCJ模型分析[J].电子学报,1999(10):138-139. DOI：

ZHENG Dong, WANG Yu min. The MCJ Analysis of TMN Protocol[J]. Acta Electronica Sinica, 1999, (10): 138-139. DOI：

本文利用由ＷｉｌｌＭａｒｒｅｒｏ，ＥｄｍｕｎｄＣｌａｒｋｅ及ＳｏｍｅｓｈＪｈａ提出的认证协议的检测模型，对改进的ＴＮＭ［１］协议进行检测，给出了如何将ＴＭＮ协议模型化，并利用该模型对其进行检测，找出了用ＣＳＰ模型没能找到的两个新的攻击方法，最后给出了ＴＭＮ协议的改进形式

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.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据