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

【摘要】：Web服務(wù)組合安全性檢測對提高Web服務(wù)組合在復(fù)雜網(wǎng)絡(luò)環(huán)境下的安全性具有重要意義。針對Web服務(wù)組合安全檢測存在的問題,提出了一種Web服務(wù)組合安全性動態(tài)檢測框架,并對其中的服務(wù)組合流程建模技術(shù)、安全模型以及安全檢測算法等關(guān)鍵技術(shù)進行了詳細分析,最后通過實例進一步說明該框架能夠?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.
【作者單位】： 國防科學技術(shù)大學計算機學院;
【基金】：國家自然科學基金資助項目(60903204,61070201)
【分類號】：TP393.09

【參考文獻】

相關(guān)期刊論文 前2條

1 馮良炳;古天龍;;Web服務(wù)組合中非確定性特征交互的Petri網(wǎng)檢測[J];桂林電子科技大學學報;2007年06期

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

【共引文獻】

相關(guān)期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關(guān)博士學位論文 前9條

1 王強;空間信息服務(wù)聚合的關(guān)鍵技術(shù)研究[D];解放軍信息工程大學;2010年

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

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

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

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

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

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

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

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

相關(guān)碩士學位論文 前10條

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

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

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

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

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

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

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

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

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

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

【二級參考文獻】

相關(guān)期刊論文 前4條

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

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

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

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

【相似文獻】

相關(guān)期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關(guān)會議論文 前3條

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

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

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

相關(guān)博士學位論文 前10條

1 馮名正;Web服務(wù)組合關(guān)鍵技術(shù)研究[D];東南大學;2006年

2 何豐;語義Web服務(wù)組合若干關(guān)鍵技術(shù)研究[D];東華大學;2008年

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

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

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

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

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

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

9 溫嘉佳;Web服務(wù)組合及其相關(guān)技術(shù)的研究[D];北京郵電大學;2007年

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

相關(guān)碩士學位論文 前10條

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

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

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

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

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

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

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

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

9 陳陽;Web服務(wù)組合模型及相關(guān)技術(shù)的研究[D];哈爾濱工程大學;2008年

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

，

本文編號：2091101