【摘 要】
：
研究了SOA架构分布式系统在基于社区的Web服务动态会话交互的安全性,提出了一种基于形式化规格说明的Web服务组合行为建模和验证框架.基于OWL-S描述的若干个Web服务的组合和
【机 构】
：
山东理工大学计算机科学与技术学院,铁道警察学院公安技术系,连云港中复连众复合材料集团有限公司信息技术部
论文部分内容阅读
研究了SOA架构分布式系统在基于社区的Web服务动态会话交互的安全性,提出了一种基于形式化规格说明的Web服务组合行为建模和验证框架.基于OWL-S描述的若干个Web服务的组合和交互的安全性保障问题,构建了一种基于WS-Trust和WS-Secure Conversation规格的安全会话验证方法.该方法首先将Web服务组合行为建模为带有标签的迁移系统AKTS来描述服务的观察行为;进而将安全会话约束翻译为DPDL公式即将SOA系统的会话安全性验证问题规约为保障安全会话约束的前提下的Web服务组合行为的满足
其他文献
【正】 毛泽东文艺思想,是战无不胜的马克思主义真理,是打击一切非无产阶极文艺思想的锐利武器,它为我们指出了发展社会主义文艺的根本方向.学习和研究毛泽东文艺思想,是我们
【正】 一、评冯特研究心理学的道路波林著《实验心理学史》上说:“冯特在心理学史中是首屈一指的心理学家.学者而配称心理学家的以他为第一,在他之前,有心理学,可是没有心理
<正> 一、概述用碾压混凝土筑坝是近年来发展起来的新技术。目前国内外工程界对碾压混凝土的原材料、配合比设计、混凝土的热学和力学性能、混凝土的施工性能、施工机械和施
分析药学专业药物化学理论课教学的现状及存在的主要问题,提出在科学发展观指导下采取的应对措施,以期提高教学效果,提高人才培养质量。
<正> 可能引起地下式水电站火灾的设备,主要有变压器、油绝缘电缆以及其它一些用油作为绝缘或灭弧介质的充油电气设备。近年来虽然已经采用了SF_6气体或真空断路器来代替油断
随着我国经济体制及社会思想观念发生的深刻变化,国内高校中文专业基础课程之一的外国文学遭遇到一系列不利的因素影响,成为外国文学教学的巨大挑战。高校外国文学教学只有针
【正】 荀子《劝学》中有“积土成山,风雨兴焉;积水成渊,蛟龙生焉;积善成德,而神明自得,圣心备焉”一组表示并列相关的排比句,全国统编教材高中第二册语文的注释和不少资料均
本文扼要讨论了三峡工程泥沙问题研究所采用的四种方法,即已建工程类比,原型观测资料的收集与分析,数学模型计算及河工模型试验。介绍了这些研究方法和它们在三峡工程泥沙问
示范性作文提供了摹本，被示范者激励了信心，示范这件事本身又表彰了优秀者。“生活化”作文教学要求教师在生活中寻求切实可以教育的资源。从生活中来，到生活中去，服务于生活的“
<正> 葛洲坝水利枢纽包括两座发电厂房、三座船闸、两条航道、一座泄水闸、两座冲沙闸、左右岸档水坝、三江和大江防淤堤以及22万V和50万V变电站各一座。电站装机21台总容量