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

作     者：李艳 庄海燕 张哲宁 LI Yan;ZHUANG Hai-yan;ZHANG Zhe-ning

作者机构：山东理工大学计算机科学与技术学院山东淄博255049 铁道警察学院公安技术系河南郑州450053 连云港中复连众复合材料集团有限公司信息技术部江苏连云港222000 

基　　金：河南省科技厅科技攻关项目(2014GGJS-073) 铁道警察学院基金项目(JY2014Z05) 

出 版 物：《山东理工大学学报（自然科学版）》 (Journal of Shandong University of Technology:Natural Science Edition)

年 卷 期：2017年第31卷第3期

页      码：20-24页

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

主 题 词：语义Web服务 分布式系统 SOA架构 Web服务组合 会话安全 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

D　O　I：10.13367/j.cnki.sdgc.2017.03.005

馆 藏 号：203219180...