Web服务安全会话协议的SPIN建模与分析

• 作者: 董荣胜 魏昭
• 来源期刊: 科技与创新
• 关键词: Web Services Secure Conversation协议 XML SPIN
• 年，卷（期）: 2010,（9）
• 页码范围: 81-83
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2010.09.032

摘要

Web Services Secure Conversation是基于XML的安全协议.本文对该协议进行了形式化的分析,并使用模型检验工具SPIN验证了协议的安全性,结果表明该协议存在认证性缺陷.为此,修改了协议的消息结构并对用户口令进行了数字签名.对改进后协议的安全性进行分析,结果表明改进后的协议不存在原协议的缺陷,协议满足认证性要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏昭	电子科技大学计算机与控制学院	1	1	1.0	1.0
2	董荣胜	电子科技大学计算机与控制学院	1	1	1.0	1.0