本文選題：Web服務組合 + 安全檢測　； 參考：《計算機工程與科學》2014年02期

【摘要】：Web服務組合安全性檢測對提高Web服務組合在復雜網(wǎng)絡環(huán)境下的安全性具有重要意義。針對Web服務組合安全檢測存在的問題,提出了一種Web服務組合安全性動態(tài)檢測框架,并對其中的服務組合流程建模技術、安全模型以及安全檢測算法等關鍵技術進行了詳細分析,最后通過實例進一步說明該框架能夠?qū)崿F(xiàn)安全性檢測的基本功能。
[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網(wǎng)檢測[J];桂林電子科技大學學報;2007年06期

2 倪晚成;劉連臣;吳澄;;Web服務組合方法綜述[J];計算機工程;2008年04期

【共引文獻】

相關期刊論文 前10條

1 承達瑜;王發(fā)良;周治武;韓剛;;基于BPEL的地理信息服務組合研究與實現(xiàn)[J];測繪科學;2010年06期

2 苑慶濤;陳彥萍;;Web服務組合方法研究綜述[J];電腦知識與技術;2010年07期

3 馬勝男;孫翊;;現(xiàn)代服務業(yè)中的共性標準化問題(下)[J];信息技術與標準化;2010年06期

4 謝統(tǒng)義;;Web 2.0技術的現(xiàn)狀與應用文獻綜述[J];桂林電子科技大學學報;2010年03期

5 張曉文;包曉安;胡朱華;郭煒杰;;基于Petri網(wǎng)的動態(tài)Web服務組合建模[J];工業(yè)控制計算機;2011年07期

6 丁堅;;Web服務組合綜述[J];電子世界;2012年18期

7 蹇崇軍;;一種改進的支持外部Web服務集成的過程模型[J];桂林理工大學學報;2012年04期

8 李文翔;;Petri網(wǎng)在Email系統(tǒng)中特征交互檢測的應用[J];安慶師范學院學報(自然科學版);2012年04期

9 邢智毅;李輝;;基于Web服務組合技術的智能交通信息服務系統(tǒng)[J];電腦與信息技術;2013年01期

10 高君;包曉安;謝曉鳴;孫獻策;;基于廣義隨機Petri網(wǎng)的Web服務組合建模與可達性分析[J];電腦編程技巧與維護;2013年06期

相關博士學位論文 前9條

1 王強;空間信息服務聚合的關鍵技術研究[D];解放軍信息工程大學;2010年

2 曾鳴;基于SOA的森林資源空間信息分級服務研究[D];中國林業(yè)科學研究院;2011年

3 于曉浩;面向任務的軍事信息服務組合方法與關鍵技術研究[D];國防科學技術大學;2011年

4 王煜;基于MDA的GBDSS決策服務組合建模方法研究[D];華中科技大學;2010年

5 包力;Web服務組合形式化建模與驗證研究[D];大連海事大學;2009年

6 承達瑜;空間型熱點會商系統(tǒng)的動態(tài)服務計算研究[D];中國礦業(yè)大學;2012年

7 曲明;基于本體的服務發(fā)現(xiàn)與組合方法研究[D];吉林大學;2012年

8 吳昊;云計算環(huán)境下智能優(yōu)化算法及其在SaaS中的應用研究[D];合肥工業(yè)大學;2013年

9 錢海忠;語義萬維網(wǎng)服務若干關鍵技術的研究[D];南京郵電大學;2013年

相關碩士學位論文 前10條

1 李洋;基于Flex與Web服務的RIA系統(tǒng)集成的應用研究[D];遼寧工程技術大學;2009年

2 羅曉麗;面向語義Web服務的分布式服務發(fā)現(xiàn)研究[D];解放軍信息工程大學;2009年

3 苑慶濤;基于QoS的動態(tài)Web服務組合系統(tǒng)的設計與實現(xiàn)[D];西安電子科技大學;2010年

4 李延紅;基于Pi演算的Web服務組合技術研究[D];山東經(jīng)濟學院;2011年

5 李輝利;BPEL技術研究及在防災減災系統(tǒng)中的應用[D];太原理工大學;2011年

6 秦輝;面向服務的動態(tài)體系結(jié)構(gòu)描述語言SO-DADL及其應用研究[D];西北大學;2011年

7 蔣卓人;基于動態(tài)服務集成的協(xié)同工作體系研究與實現(xiàn)[D];大連海事大學;2011年

8 郭明花;CCML語言的Web服務組合解釋器研究與實現(xiàn)[D];大連海事大學;2011年

9 丁衛(wèi)東;基于QoS的Web服務組合優(yōu)化選取問題研究[D];曲阜師范大學;2011年

10 葉凱;融合網(wǎng)絡中基于用戶偏好的動態(tài)服務聚合研究及服務控制的優(yōu)化[D];北京郵電大學;2011年

【二級參考文獻】

相關期刊論文 前4條

1 唐宇,何凱濤,陳犖,景寧;空間信息柵格體系與服務聚合技術[J];國防科技大學學報;2005年02期

2 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務組合的描述和驗證[J];計算機學報;2005年04期

3 李曼,王大治,杜小勇,王珊;基于領域本體的Web服務動態(tài)組合[J];計算機學報;2005年04期

4 陶曉峰,孫健;基于面向?qū)ο驪etri網(wǎng)的Web服務合成[J];計算機應用;2005年06期

【相似文獻】

相關期刊論文 前10條

1 陳紅;;基于參考網(wǎng)的Web服務組合模型[J];計算機應用;2006年12期

2 李盛恩;洪曉光;;一種業(yè)務流程QoS有保障的動態(tài)服務組合方法[J];計算機科學;2007年12期

3 鐘讀杭;齊治昌;徐錫山;;基于冗余的Web服務組合可靠性優(yōu)化方法[J];計算機工程;2008年04期

4 莫振華;蔡鴻明;姜麗紅;;基于遺傳算法的多QoS約束服務選擇[J];計算機應用與軟件;2009年03期

5 李景霞;侯紫峰;;基于顏色Petri網(wǎng)的Web服務組合建模及應用[J];計算機應用研究;2006年09期

6 馮名正;;Web服務組合研究綜述[J];計算機應用與軟件;2007年02期

7 辜希武;李瑞軒;盧正鼎;;Web服務組合規(guī)范WS-CDL的類型化形式化模型(英文)[J];Journal of Southeast University(English Edition);2008年03期

8 高云全;;一種基于領域本體的語義Web服務動態(tài)組合方法[J];軟件導刊;2008年12期

9 吳善明;沈建京;韓強;;基于領域本體和OWL-S的Web服務組合方法[J];計算機工程;2009年21期

10 房丙午;劉力;張成叔;;一種Web服務組合事務框架的設計與實現(xiàn)[J];計算機系統(tǒng)應用;2010年05期

相關會議論文 前3條

1 劉波;吳家鑄;;Web服務組合分布式協(xié)調(diào)模型研究[A];2006年全國開放式分布與并行計算學術會議論文集（二）[C];2006年

2 仲晶;黃志球;;面向服務質(zhì)量的Web服務選擇方法：研究綜述[A];2008通信理論與技術新發(fā)展——第十三屆全國青年通信學術會議論文集（下）[C];2008年

3 鄭棟;張育平;;基于語義的動態(tài)Web服務組合系統(tǒng)架構(gòu)[A];2008通信理論與技術新發(fā)展——第十三屆全國青年通信學術會議論文集（下）[C];2008年

相關博士學位論文 前10條

1 馮名正;Web服務組合關鍵技術研究[D];東南大學;2006年

2 何豐;語義Web服務組合若干關鍵技術研究[D];東華大學;2008年

3 于守健;基于Web服務組合的業(yè)務流程集成關鍵技術研究[D];東華大學;2005年

4 辜希武;Web服務組合形式化模型研究[D];華中科技大學;2007年

5 康輝;基于PI-演算的CPN在移動通信服務建模的研究與應用[D];吉林大學;2008年

6 門鵬;基于Petri網(wǎng)的Web服務組合相關技術研究[D];西安電子科技大學;2009年

7 劉兵;基于Web服務組合的網(wǎng)格工作流研究[D];中國科學技術大學;2007年

8 童紅霞;基于Agent的Web服務組合技術研究[D];上海交通大學;2009年

9 溫嘉佳;Web服務組合及其相關技術的研究[D];北京郵電大學;2007年

10 成睿星;基于范例推理技術的服務組合研究[D];北京郵電大學;2008年

相關碩士學位論文 前10條

1 李晶睿;數(shù)據(jù)可視化的Web服務及其組合的研究與開發(fā)[D];武漢理工大學;2007年

2 陳旭暉;基于規(guī)劃的語義Web服務組合技術研究[D];福州大學;2006年

3 楊秀麗;基于有色Petri網(wǎng)的Web服務組合[D];吉林大學;2007年

4 賈志淳;基于Pi演算的Web服務組合兼容性驗證方法研究[D];大連海事大學;2008年

5 宋英杰;基于OCL的Web服務組合形式化約束研究[D];大連海事大學;2009年

6 孫長俊;Web服務組合關系的研究與實現(xiàn)[D];河海大學;2007年

7 王赫;基于著色賦時Petri網(wǎng)的Web服務組合流程建模研究[D];大連海事大學;2008年

8 馬臨萍;基于WS-BPEL的web服務組合技術研究[D];西北大學;2008年

9 陳陽;Web服務組合模型及相關技術的研究[D];哈爾濱工程大學;2008年

10 浦潔;基于Pi演算的Web服務組合模型與WSDL轉(zhuǎn)換[D];吉林大學;2007年

，

本文編號：2091101