TMN协议的MCJ模型分析

• 作者: 王育民 郑东
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: TMN协议 MCJ模型检测
• 年，卷（期）: 1999,（10）
• 所属期刊栏目: 科研通信
• 页码范围: 138-139
• 分类号: TN91
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.1999.10.040

摘要

本文利用由Will Marrero,Edmund Clarke及Somesh Jha提出的认证协议的检测模型,对改进的TNM[1]协议进行检测,给出了如何将TMN协议模型化,并利用该模型对其进行检测,找出了用CSP模型没能找到的两个新的攻击方法,最后给出了TMN协议的改进形式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王育民	西安电子科技大学综合业务网国家重点实验室	244	2283	26.0	36.0
2	郑东	西安电子科技大学综合业务网国家重点实验室	5	5	1.0	2.0