首页 | 官方网站   微博 | 高级检索  
     

NSSK协议的串空间模型及分析
引用本文:周清雷,王峰,赵东明.NSSK协议的串空间模型及分析[J].微计算机信息,2007,23(21):51-53.
作者姓名:周清雷  王峰  赵东明
作者单位:1. 450000,河南郑州,解放军信息工程大学,信息工程学院;450052,河南郑州,郑州大学,信息工程学院
2. 450052,河南郑州,郑州大学,信息工程学院
基金项目:国家自然科学基金(69873040)
摘    要:本文介绍了串空间模型中的基本概念和定理,并首次利用串空间理论,从机密性和认证性两个方面,对改进的NSSK协议进行了分析.分析结果表明改进的NSSK协议是安全的.

关 键 词:安全协议  串空间  NSSK协议
文章编号:1008-0570(2007)07-3-0051-03
修稿时间:2007-05-032007-06-05

The Strand Space Model of NSSK Protocol and Its Analysis
ZHOU QINGLEI,WANG FENG,ZHAO DONGMING.The Strand Space Model of NSSK Protocol and Its Analysis[J].Control & Automation,2007,23(21):51-53.
Authors:ZHOU QINGLEI  WANG FENG  ZHAO DONGMING
Affiliation:1.School of Information Engineering ,PLA Information Engineering University ,Zhengzhou Henan China 450000;2.School of Information Engineering, Zhengzhou University, Zhengzhou Henan China 450052
Abstract:The basic notion and theorems of strand spaces model are introduced. It is the first time to prove the modified version of NSSK protocol with strand space theory from the aspects of both confidentiality and authentication , The analysis proved the correctness of the modified NSSK protocol.
Keywords:Security Protocol  Strand Space  NSSK Protocol
本文献已被 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号