一种基于Petri网的Web服务组合安全性动态检测技术

发布时间：2018-07-02 22:20

  本文选题：Web服务组合 + 安全检测　； 参考：《计算机工程与科学》2014年02期

【摘要】：Web服务组合安全性检测对提高Web服务组合在复杂网络环境下的安全性具有重要意义。针对Web服务组合安全检测存在的问题,提出了一种Web服务组合安全性动态检测框架,并对其中的服务组合流程建模技术、安全模型以及安全检测算法等关键技术进行了详细分析,最后通过实例进一步说明该框架能够实现安全性检测的基本功能。
[Abstract]:Security detection of Web service composition is of great significance to improve the security of Web service composition in complex network environment. Aiming at the problems existing in the security detection of Web service composition, a dynamic detection framework of Web service composition security is proposed, and the modeling technology of service composition process is presented. The key technologies, such as security model and security detection algorithm, are analyzed in detail. Finally, an example is given to show that the framework can realize the basic function of security detection.
【作者单位】： 国防科学技术大学计算机学院;
【基金】：国家自然科学基金资助项目(60903204,61070201)
【分类号】：TP393.09

【参考文献】

相关期刊论文 前2条

1 冯良炳;古天龙;;Web服务组合中非确定性特征交互的Petri网检测[J];桂林电子科技大学学报;2007年06期

2 倪晚成;刘连臣;吴澄;;Web服务组合方法综述[J];计算机工程;2008年04期

【共引文献】

相关期刊论文 前10条

1 承达瑜;王发良;周治武;韩刚;;基于BPEL的地理信息服务组合研究与实现[J];测绘科学;2010年06期

2 苑庆涛;陈彦萍;;Web服务组合方法研究综述[J];电脑知识与技术;2010年07期

3 马胜男;孙翊;;现代服务业中的共性标准化问题(下)[J];信息技术与标准化;2010年06期

4 谢统义;;Web 2.0技术的现状与应用文献综述[J];桂林电子科技大学学报;2010年03期

5 张晓文;包晓安;胡朱华;郭炜杰;;基于Petri网的动态Web服务组合建模[J];工业控制计算机;2011年07期

6 丁坚;;Web服务组合综述[J];电子世界;2012年18期

7 蹇崇军;;一种改进的支持外部Web服务集成的过程模型[J];桂林理工大学学报;2012年04期

8 李文翔;;Petri网在Email系统中特征交互检测的应用[J];安庆师范学院学报(自然科学版);2012年04期

9 邢智毅;李辉;;基于Web服务组合技术的智能交通信息服务系统[J];电脑与信息技术;2013年01期

10 高君;包晓安;谢晓鸣;孙献策;;基于广义随机Petri网的Web服务组合建模与可达性分析[J];电脑编程技巧与维护;2013年06期

相关博士学位论文 前9条

1 王强;空间信息服务聚合的关键技术研究[D];解放军信息工程大学;2010年

2 曾鸣;基于SOA的森林资源空间信息分级服务研究[D];中国林业科学研究院;2011年

3 于晓浩;面向任务的军事信息服务组合方法与关键技术研究[D];国防科学技术大学;2011年

4 王煜;基于MDA的GBDSS决策服务组合建模方法研究[D];华中科技大学;2010年

5 包力;Web服务组合形式化建模与验证研究[D];大连海事大学;2009年

6 承达瑜;空间型热点会商系统的动态服务计算研究[D];中国矿业大学;2012年

7 曲明;基于本体的服务发现与组合方法研究[D];吉林大学;2012年

8 吴昊;云计算环境下智能优化算法及其在SaaS中的应用研究[D];合肥工业大学;2013年

9 钱海忠;语义万维网服务若干关键技术的研究[D];南京邮电大学;2013年

相关硕士学位论文 前10条

1 李洋;基于Flex与Web服务的RIA系统集成的应用研究[D];辽宁工程技术大学;2009年

2 罗晓丽;面向语义Web服务的分布式服务发现研究[D];解放军信息工程大学;2009年

3 苑庆涛;基于QoS的动态Web服务组合系统的设计与实现[D];西安电子科技大学;2010年

4 李延红;基于Pi演算的Web服务组合技术研究[D];山东经济学院;2011年

5 李辉利;BPEL技术研究及在防灾减灾系统中的应用[D];太原理工大学;2011年

6 秦辉;面向服务的动态体系结构描述语言SO-DADL及其应用研究[D];西北大学;2011年

7 蒋卓人;基于动态服务集成的协同工作体系研究与实现[D];大连海事大学;2011年

8 郭明花;CCML语言的Web服务组合解释器研究与实现[D];大连海事大学;2011年

9 丁卫东;基于QoS的Web服务组合优化选取问题研究[D];曲阜师范大学;2011年

10 叶凯;融合网络中基于用户偏好的动态服务聚合研究及服务控制的优化[D];北京邮电大学;2011年

【二级参考文献】

相关期刊论文 前4条

1 唐宇,何凯涛,陈荦,景宁;空间信息栅格体系与服务聚合技术[J];国防科技大学学报;2005年02期

2 廖军,谭浩,刘锦德;基于Pi-演算的Web服务组合的描述和验证[J];计算机学报;2005年04期

3 李曼,王大治,杜小勇,王珊;基于领域本体的Web服务动态组合[J];计算机学报;2005年04期

4 陶晓峰,孙健;基于面向对象Petri网的Web服务合成[J];计算机应用;2005年06期

【相似文献】

相关期刊论文 前10条

1 陈红;;基于参考网的Web服务组合模型[J];计算机应用;2006年12期

2 李盛恩;洪晓光;;一种业务流程QoS有保障的动态服务组合方法[J];计算机科学;2007年12期

3 钟读杭;齐治昌;徐锡山;;基于冗余的Web服务组合可靠性优化方法[J];计算机工程;2008年04期

4 莫振华;蔡鸿明;姜丽红;;基于遗传算法的多QoS约束服务选择[J];计算机应用与软件;2009年03期

5 李景霞;侯紫峰;;基于颜色Petri网的Web服务组合建模及应用[J];计算机应用研究;2006年09期

6 冯名正;;Web服务组合研究综述[J];计算机应用与软件;2007年02期

7 辜希武;李瑞轩;卢正鼎;;Web服务组合规范WS-CDL的类型化形式化模型(英文)[J];Journal of Southeast University(English Edition);2008年03期

8 高云全;;一种基于领域本体的语义Web服务动态组合方法[J];软件导刊;2008年12期

9 吴善明;沈建京;韩强;;基于领域本体和OWL-S的Web服务组合方法[J];计算机工程;2009年21期

10 房丙午;刘力;张成叔;;一种Web服务组合事务框架的设计与实现[J];计算机系统应用;2010年05期

相关会议论文 前3条

1 刘波;吴家铸;;Web服务组合分布式协调模型研究[A];2006年全国开放式分布与并行计算学术会议论文集（二）[C];2006年

2 仲晶;黄志球;;面向服务质量的Web服务选择方法：研究综述[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集（下）[C];2008年

3 郑栋;张育平;;基于语义的动态Web服务组合系统架构[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集（下）[C];2008年

相关博士学位论文 前10条

1 冯名正;Web服务组合关键技术研究[D];东南大学;2006年

2 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年

3 于守健;基于Web服务组合的业务流程集成关键技术研究[D];东华大学;2005年

4 辜希武;Web服务组合形式化模型研究[D];华中科技大学;2007年

5 康辉;基于PI-演算的CPN在移动通信服务建模的研究与应用[D];吉林大学;2008年

6 门鹏;基于Petri网的Web服务组合相关技术研究[D];西安电子科技大学;2009年

7 刘兵;基于Web服务组合的网格工作流研究[D];中国科学技术大学;2007年

8 童红霞;基于Agent的Web服务组合技术研究[D];上海交通大学;2009年

9 温嘉佳;Web服务组合及其相关技术的研究[D];北京邮电大学;2007年

10 成睿星;基于范例推理技术的服务组合研究[D];北京邮电大学;2008年

相关硕士学位论文 前10条

1 李晶睿;数据可视化的Web服务及其组合的研究与开发[D];武汉理工大学;2007年

2 陈旭晖;基于规划的语义Web服务组合技术研究[D];福州大学;2006年

3 杨秀丽;基于有色Petri网的Web服务组合[D];吉林大学;2007年

4 贾志淳;基于Pi演算的Web服务组合兼容性验证方法研究[D];大连海事大学;2008年

5 宋英杰;基于OCL的Web服务组合形式化约束研究[D];大连海事大学;2009年

6 孙长俊;Web服务组合关系的研究与实现[D];河海大学;2007年

7 王赫;基于着色赋时Petri网的Web服务组合流程建模研究[D];大连海事大学;2008年

8 马临萍;基于WS-BPEL的web服务组合技术研究[D];西北大学;2008年

9 陈阳;Web服务组合模型及相关技术的研究[D];哈尔滨工程大学;2008年

10 浦洁;基于Pi演算的Web服务组合模型与WSDL转换[D];吉林大学;2007年

，

本文编号：2091101