对改进的无线认证协议SSM的分析

doi:10.3778/j.issn.1002-8331.2009.01.040

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (1): 129-130.DOI: 10.3778/j.issn.1002-8331.2009.01.040

对改进的无线认证协议SSM的分析

郭宇燕¹,魏仕民²,卓泽朋³

1.宿州学院计算机科学与技术系，安徽宿州 234000
2.淮北煤炭师范学院计算机科学与技术系，安徽淮北 235000
3.淮北煤炭师范学院数学系，安徽淮北 235000

收稿日期:2007-12-27 修回日期:2008-03-13 出版日期:2009-01-01 发布日期:2009-01-01
通讯作者: 郭宇燕

Analyzing model of amended wireless authentication protocol SSM

GUO Yu-yan¹,WEI Shi-min²,ZHUO Ze-peng³

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

Received:2007-12-27 Revised:2008-03-13 Online:2009-01-01 Published:2009-01-01
Contact: GUO Yu-yan

摘要/Abstract

摘要： 针对刘霞提出的改进的Server-specific MAKEP协议，首次利用一种新兴的形式化分析工具—串空间模型对其进行分析。先对协议的机密性进行分析，并运用“理想”和“诚实”两个概念简化分析协议的步骤，证明了rs，rc是保密的，然后对协议的认证性进行分析，分析包括响应者认证和发起者认证。最终结果表明改进的SSM协议能够达到协议的安全目标。

关键词: SSM协议, 串空间, 机密性, 认证性

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.

Key words: SSM protocol, strand space, confidentiality, authentication

郭宇燕¹,魏仕民²,卓泽朋³. 对改进的无线认证协议SSM的分析[J]. 计算机工程与应用, 2009, 45(1): 129-130.

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.

[1]	邓飞1，朱莹2. 一种可证明安全的匿名可认证密钥协商协议[J]. 计算机工程与应用, 2018, 54(5): 101-104.
[2]	李臣意1，张玉磊1，张永洁2，王彩芬1. 高效的TPKC→IDPKC的异构签密方案[J]. 计算机工程与应用, 2018, 54(2): 125-130.
[3]	李茜1，王峥1，马建芬1，李娜2. 轻量级移动支付协议公平性分析[J]. 计算机工程与应用, 2018, 54(19): 82-87.
[4]	余磊1，魏仕民1，卓泽朋2. 认证测试中协议主体串参数一致性研究[J]. 计算机工程与应用, 2015, 51(13): 86-91.
[5]	肖茵茵1，2，苏开乐2，3. 电子商务支付协议认证性的SVO逻辑验证[J]. 计算机工程与应用, 2014, 50(8): 6-10.
[6]	余磊，魏仕民. 协议主体密钥在测试组件构造上的性质分析[J]. 计算机工程与应用, 2013, 49(6): 114-117.
[7]	师东生. 标准模型下强安全的无证书签密方案[J]. 计算机工程与应用, 2013, 49(22): 90-94.
[8]	余磊，魏仕民. 网络管理中一种互认证密码协议的安全性分析[J]. 计算机工程与应用, 2012, 48(4): 94-96.
[9]	曹利峰1，陈性元1，杜学绘1，王怀鹏2. 一个多级安全通道建立协议及安全性分析[J]. 计算机工程与应用, 2012, 48(20): 117-122.
[10]	邓帆，邓少锋，李益发. 标准模型下可证安全的认证密钥协商协议[J]. 计算机工程与应用, 2011, 47(13): 106-109.
[11]	李廷元1，2，秦志光1，刘晓东2，张选芳2. Needham-Schroeder 协议的认证测试方法形式化分析[J]. 计算机工程与应用, 2010, 46(19): 100-102.
[12]	陈莉，郭清溥. 新的复合型电子商务安全协议[J]. 计算机工程与应用, 2010, 46(11): 14-17.
[13]	马宇驰，赵远，邓依群，李益发. 基于CPK的可信平台用户登录认证方案[J]. 计算机工程与应用, 2010, 46(1): 90-94.
[14]	张艳，王赜. 增强EAP-AKA协议安全性的改进方案[J]. 计算机工程与应用, 2009, 45(28): 96-98.
[15]	^{孔娟，曹利培} . TLS协议认证测试模型与形式化分析 [J]. 计算机工程与应用, 2009, 45(23): 100-103.

对改进的无线认证协议SSM的分析

Analyzing model of amended wireless authentication protocol SSM

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics