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

摘要：

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

关键词：Web Services Secure Conversation协议、XML、SPIN

所属期刊栏目：26

分类号：TP393(计算技术、计算机技术)

资助基金：广西研究生教育创新计划资助项目;基金申请人:高三海,魏昭;项目名称:安全协议的结构化操作语义模型研究与应用2007105950812M17

在线出版日期：2014-07-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：81-83