| 对改进的无线认证协议SSM的分析 |
| |
| 引用本文： | 郭宇燕,魏仕民,卓泽朋.对改进的无线认证协议SSM的分析[J].计算机工程与应用,2009,45(1):129-130. |
| |
| 作者姓名： | 郭宇燕 魏仕民 卓泽朋 |
| |
| 作者单位： | 1.宿州学院 计算机科学与技术系，安徽 宿州 234000 2.淮北煤炭师范学院 计算机科学与技术系，安徽 淮北 235000 3.淮北煤炭师范学院 数学系，安徽 淮北 235000 |
| |
| 基金项目： | 国家自然科学基金,安徽省自然科学基金 |
| |
| 摘 要： | 针对刘霞提出的改进的Server-specific MAKEP协议，首次利用一种新兴的形式化分析工具—串空间模型对其进行分析。先对协议的机密性进行分析，并运用“理想”和“诚实”两个概念简化分析协议的步骤，证明了rs，rc是保密的，然后对协议的认证性进行分析，分析包括响应者认证和发起者认证。最终结果表明改进的SSM协议能够达到协议的安全目标。
|
| 关 键 词： | SSM协议 串空间 机密性 认证性 |
| 收稿时间： | 2007-12-27 |
| 修稿时间： | 2008-3-13
|
Analyzing model of amended wireless authentication protocol SSM |
| |
| GUO Yu-yan,WEI Shi-min,ZHUO Ze-peng.Analyzing model of amended wireless authentication protocol SSM[J].Computer Engineering and Applications,2009,45(1):129-130. |
| |
| Authors: | GUO Yu-yan WEI Shi-min ZHUO Ze-peng |
| |
| Affiliation: | 1.Dept. of Computer Science ＆ Technique，Suzhou University，Suzhou，Anhui 234000，China 2.Dept. of Computer Science ＆ Technique，Huaibei Coal Industry Teachers’ College，Huaibei，Anhui 235000，China 3.Dept. of Mathematics，Huaibei Coal Industry Teachers’ College，Huaibei，Anhui 235000，China |
| |
| Abstract: | It is the first time to prove the Liu Xia’s modified version of server-specific MAKEP protocol with the theory of strand space which is a rising formal analysis tool.Firstly,its confidentiality is analyzed,and two concepts honest and ideal are used to simplify the process of verification.It indicates that rs,rc are secret.Then its authentication is analyzed,the analysis contains responser’s authentication and sponsor’s authentication.At last,the result shows that the amended SSM protocol can reach the goal of the protocol. |
| |
| Keywords: | SSM protocol strand space confidentiality authentication |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
