面向SO A架构分布式系统 的会话交互建模及其安全验证

• 作者: 庄海燕 张哲宁 李艳
• 来源期刊: 山东理工大学学报（自然科学版）
• 学科: 工学
• 关键词: 语义Web服务 分布式系统 SOA架构 Web服务组合 会话安全
• 年，卷（期）: 2017,（3）
• 页码范围: 20-24
• 页数: 5页
• 分类号: TP391
• 字数: 3680字
• 语种: 中文

摘要

研究了SOA架构分布式系统在基于社区的Web服务动态会话交互的安全性,提出了一种基于形式化规格说明的Web服务组合行为建模和验证框架.基于OWL-S描述的若干个Web服务的组合和交互的安全性保障问题,构建了一种基于WS-T rust和WS-Secure Conversation规格的安全会话验证方法.该方法首先将Web服务组合行为建模为带有标签的迁移系统A K T S来描述服务的观察行为;进而将安全会话约束翻译为DPDL公式即将SOA系统的会话安全性验证问题规约为保障安全会话约束的前提下的Web服务组合行为的满足性问题;最后通过经典算法在有效时间内得到该满足性问题的验证.该框架为基于SOA架构的分布式系统的交互安全提供了理论支持和保障,在安全关键的分布式系统设计阶段及早发现安全隐患,节约了开发成本、提高了系统安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李艳	山东理工大学计算机科学与技术学院	20	124	6.0	11.0
2	庄海燕	铁道警察学院公安技术系	12	22	3.0	4.0
3	张哲宁	连云港中复连众复合材料集团有限公司信息技术部	2	8	2.0	2.0