×

NSSK协议的串空间模型及分析

消耗积分:3 | 格式:rar | 大小:171 | 2009-06-03

王兰

分享资料个

本文介绍了串空间模型中的基本概念和定理,并首次利用串空间理论,从机密性和认证性两个方面,对改进的NSSK 协议[1]进行了分析。分析结果表明改进的NSSK 协议是
安全的。
关键词:安全协议;串空间;NSSK 协议

The Strand Space Model of NSSK Protocol and Its Analysis ZHOU Qing-lei1,2 , WANG Feng2 , ZHAO Dong-ming2 ( 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.
Key words: Security Protocol ; Strand Space ; NSSK Protocol

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !