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

• 作者: 卓泽朋 郭宇燕 魏仕民
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: SSM协议 串空间 机密性 认证性
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 129-130
• 页数: 2页
• 分类号: TN918.1
• 字数: 2449字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.01.040

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭宇燕	宿州学院计算机科学与技术系	3	3	1.0	1.0
2	魏仕民	准北煤炭师范学院计算机科学与技术系	1	0	0.0	0.0
3	卓泽朋	淮北煤炭师范学院数学系	15	28	3.0	4.0