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

J4 ›› 2014, Vol. 36 ›› Issue (02): 250-257.

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

周洁,任江春,王志英,程勇,梅松竹

（国防科学技术大学计算机学院，湖南长沙 410073）

收稿日期:2012-08-01 修回日期:2012-11-05 出版日期:2014-02-25 发布日期:2014-02-25
基金资助:
国家自然科学基金资助项目（60903204，61070201）

A Petri net based Web services composition security dynamic detecting technology

ZHOU Jie,REN Jiangchun,WANG Zhiying,CHENG Yong,MEI Songzhu

（College of Computer,National University of Defense Technology,Changsha 410073,China）

Received:2012-08-01 Revised:2012-11-05 Online:2014-02-25 Published:2014-02-25

摘要/Abstract

摘要：

Web服务组合安全性检测对提高Web服务组合在复杂网络环境下的安全性具有重要意义。针对Web服务组合安全检测存在的问题，提出了一种Web服务组合安全性动态检测框架，并对其中的服务组合流程建模技术、安全模型以及安全检测算法等关键技术进行了详细分析，最后通过实例进一步说明该框架能够实现安全性检测的基本功能。

关键词: Web服务组合, 安全检测, 动态检测算法

Abstract:

Web services composition security detection is important to enhance Web services composition security in complex network environment. To solve the existing problem in it, the paper proposes a Web services composition security dynamic detecting framework and analyzes the key technology in detail, such as services composition modeling technology, security model and security detecting algorithm. Finally, an example test is taken to show it can realize the security detection function.

Key words: Web services composition;security detection;dynamic detection algorithm

周洁,任江春,王志英,程勇,梅松竹. 一种基于Petri网的Web服务组合安全性动态检测技术[J]. J4, 2014, 36(02): 250-257.

ZHOU Jie,REN Jiangchun,WANG Zhiying,CHENG Yong,MEI Songzhu. A Petri net based Web services composition security dynamic detecting technology [J]. J4, 2014, 36(02): 250-257.

参考文献

［1］Alonso G,Casati F,Kuna H,et al.Web services:Concepts, architectures and applications［M］. NY:SpringerVerlag, 2004:2425.
［2］Papazoglou M P, Traverso P. Serviceoriented computing:A research roadmap［M］. Germany:Dagstuhl Seminar, 2006:3537.
［3］Ni Wancheng, Liu Lianchen, Wu Cheng. Survey on web services composition methods ［J］. Computer Engineering, 2008,34(4):7981.(in Chinese)
［4］Weiss M, Esfandiari B, Luo Yun. Towards a classification of web service feature interactions［C］∥Proc of the 3rd International Conference on Service Oriented Computing, 2005:101114.
［5］Calder M, Kolberg M, Magill E H. Feature interaction:A critical review and considered forecast ［J］.The International Journal of Computer Networks,2003,41(1):115141.
［6］Weiss M, Esfandiari B. On feature interactions among web services［C］∥Proc of the 9th International Conference on Web Service(ICWS 2004), 2004:8895.
［7］Zheng Lu,Li Shiyan.Web service conflict management［R］. NY:IBM Research Report, 2005:6978.
［8］Zhang Jianyin, Yang Fangchun, Su Sen. Detecting the web services feature interactions［C］∥Proc of WISE’06, 2006:169174.
［9］Turner K J. Formalising web services ［C］∥Proc of Formal Techniques for Networked and Distributed Systems(FORTE XVlll), 2005:473488.
［10］Feng Liangbing, Gu Tianlong. A Petrinet based approach for detecting the nondeterminism feature interactions in web services composition ［J］.Journal of Guilin University of Electronic Technology, 2007,27(6):468472.(in Chinese)
［11］Luo X Y, Tan Z, Dong R S. An automatic verification of composite web services based on temporal and epistemic logic［C］∥Proc of the 3rd International Genetic and Evolutionary Computing Conference(WGEC2009), 2009:693697.
［12］Khoumsi A. Generic feature interaction detection in web services ［C］∥Proc of the International Conference on Software Systems Engineering and their Applications (ICSSEA), 2011:8597.
附中文参考文献：
［3］倪晚成，刘连臣，吴澄.Web服务组合方法综述［J］.计算机工程，2008，34（4）：7981.
［4］冯良炳，古天龙.Web服务组合中非确定性特征交互的Petri网检测［J］.桂林电子科技大学学报，2007,27(6):468472.

[1]	刘婷1,2,杨秋翔1. 基于混沌机制与Levy变异烟花算法的服务组合优化[J]. 计算机工程与科学, 2019, 41(09): 1618-1626.
[2]	郭雪1，李铮2，张贺3，荣国平3，文俊浩1. Web服务组合策略研究及组合决策平台实现[J]. 计算机工程与科学, 2018, 40(08): 1358-1365.
[3]	刘强，蔡志平，殷建平，董德尊，唐勇，张一鸣. 网络安全检测框架与方法研究[J]. 计算机工程与科学, 2017, 39(12): 2224-2229.
[4]	郭兰兰,王辉,陈翔涛. 基于NEI的免疫自学习Web服务突现方法研究[J]. J4, 2014, 36(04): 713-718.
[5]	陈国彬1，任〓强2,张广泉2,3. 一种基于抽象与精化技术的Web服务组合验证方法[J]. J4, 2011, 33(9): 76-80.
[6]	钟读杭齐治昌徐锡山. 基于N版本程序设计的Web服务组合可靠性优化[J]. J4, 2008, 30(6): 115-118.
[7]	钟读杭齐治昌. 利用软件容错技术提高Web服务组合的可靠性[J]. J4, 2008, 30(3): 28-31.
[8]	柯锋李瑞轩宋伟於光灿. 一种P2P环境中基于语义的Web服务组合方法[J]. J4, 2007, 29(8): 15-18.
[9]	须文波[1] 周中成[1,2]. 基于OWL共享本体的动态Web服务组合[J]. J4, 2006, 28(11): 6-8.