本文關(guān)鍵詞：基于π演算的云服務(wù)安全檢測

  更多相關(guān)文章： 云服務(wù) π演算 越權(quán)訪問 完整性

【摘要】：利用π演算對云服務(wù)流程進(jìn)行形式化描述,基于描述結(jié)果給出一種針對用戶越權(quán)訪問和服務(wù)不完整兩種安全性問題的檢測方法.基于云環(huán)境下的虛擬機(jī)部署實例對該方法的流程進(jìn)行了說明,并將該方法與Bayes網(wǎng)和預(yù)測規(guī)則集等安全檢測方法進(jìn)行對比.結(jié)果表明,該方法能同時保證云服務(wù)過程的一致性和安全性.
【作者單位】： 吉林大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院;吉林大學(xué)軟件學(xué)院;
【關(guān)鍵詞】： 云服務(wù) π演算 越權(quán)訪問 完整性
【基金】：國家自然科學(xué)基金(批準(zhǔn)號:61300049) 教育部高等學(xué)校博士學(xué)科點專項基金(批準(zhǔn)號:20120061120059) 吉林省科技發(fā)展計劃項目(批準(zhǔn)號:20130206052GX;20140520069JH)
【分類號】：TP393.09;TP309
【正文快照】： 云計算因其寬帶互聯(lián)、資源池共享、彈性配置、按需服務(wù)和按服務(wù)收費等優(yōu)勢在各行業(yè)中廣泛應(yīng)用,但云安全問題限制了云計算的發(fā)展.云服務(wù)的安全問題包括云計算架構(gòu)是否安全、是否存在可攻擊面、對惡意軟件的處理是否全面及訪問權(quán)限是否安全等[1].非法入侵和云服務(wù)不完整是云安全

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前2條

1 郭小群;郝克剛;;Web服務(wù)的Pi演算描述[J];計算機(jī)科學(xué);2006年03期

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

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 吳建勝,戰(zhàn)學(xué)剛;基于TCP狀態(tài)有限自動機(jī)的入侵檢測研究[J];鞍山科技大學(xué)學(xué)報;2005年05期

2 王志新;;幾種常用瀏覽器特色功能比較[J];辦公自動化;2007年20期

3 常宏達(dá);孫文輝;于雙元;丁丁;;Web服務(wù)組合形式理論分析與研究[J];兵工自動化;2009年05期

4 康輝;苑森淼;浦潔;劉勇;;基于Pi演算的Web服務(wù)建模與WSDL轉(zhuǎn)換[J];北京工業(yè)大學(xué)學(xué)報;2008年11期

5 羅守山,陳亞娟,宋傳恒,王自亮,鈕心忻,楊義先;基于用戶擊鍵數(shù)據(jù)的異常入侵檢測模型[J];北京郵電大學(xué)學(xué)報;2003年04期

6 田大新,劉衍珩,魏達(dá),張樹偉;基于模式匹配的網(wǎng)絡(luò)入侵檢測系統(tǒng)[J];吉林大學(xué)學(xué)報(信息科學(xué)版);2003年04期

7 陶硯蘊(yùn);徐萃華;林家駿;;遺傳算法的發(fā)展及在入侵檢測中的應(yīng)用現(xiàn)狀[J];傳感器世界;2007年04期

8 林永菁;;基于RBF和BP神經(jīng)網(wǎng)絡(luò)的入侵檢測模型比較研究[J];長江大學(xué)學(xué)報(自然科學(xué)版);2011年10期

9 付成宏,傅明,肖如良,唐賢瑛;基于決策樹的快速入侵檢測方法[J];長沙電力學(xué)院學(xué)報(自然科學(xué)版);2004年01期

10 李慧芳;;基于入侵檢測的校園網(wǎng)安全探討[J];長沙大學(xué)學(xué)報;2012年02期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 馬杰;網(wǎng)絡(luò)安全威脅態(tài)勢評估與分析方法研究[D];華中科技大學(xué);2010年

2 鄺礫;基于接口和行為語義的Web服務(wù)發(fā)現(xiàn)與適配研究[D];浙江大學(xué);2009年

3 曹洪江;基于用戶需求的Web服務(wù)組合系統(tǒng)研究[D];武漢理工大學(xué);2010年

4 曹虹華;語義編程語言SPROGLE及其實現(xiàn)機(jī)制研究[D];武漢大學(xué);2009年

5 趙亮;Web服務(wù)組合性能建模與分析[D];武漢大學(xué);2009年

6 馬鑫;基于協(xié)同機(jī)制和智能算法的多代理系統(tǒng)研究及應(yīng)用[D];吉林大學(xué);2011年

7 王飛;入侵檢測分類器設(shè)計及其融合技術(shù)研究[D];南京理工大學(xué);2011年

8 汪潔;多態(tài)蠕蟲特征自動提取算法研究[D];中南大學(xué);2010年

9 周航;基于質(zhì)量有色Petri網(wǎng)的Web組合服務(wù)建模與沖突、沖撞研究[D];南京航空航天大學(xué);2009年

10 肖芳雄;面向QoS的Web服務(wù)組合建模和驗證研究[D];南京航空航天大學(xué);2010年

【二級參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前2條

1 葛聲,馬殿富,胡春明,杜宗霞;基于Web服務(wù)的網(wǎng)絡(luò)軟件運(yùn)行平臺研究與實現(xiàn)[J];北京航空航天大學(xué)學(xué)報;2003年10期

2 阮耀平,易江波,趙戰(zhàn)生;計算機(jī)系統(tǒng)入侵檢測模型與方法[J];計算機(jī)工程;1999年09期

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 管水能,葉震;自定義安全令牌在Web服務(wù)安全中的應(yīng)用研究[J];電腦知識與技術(shù);2005年20期

2 楚西岳;韓元杰;;基于規(guī)范的Web服務(wù)安全[J];現(xiàn)代電子技術(shù);2006年12期

3 李燕杰;朱曉蓮;耿肇英;;基于多技術(shù)融合的Web服務(wù)安全的研究與實現(xiàn)[J];河北省科學(xué)院學(xué)報;2006年04期

4 劉苒苒;;基于移動Agent的Web服務(wù)安全訪問機(jī)制研究[J];裝備維修技術(shù);2007年04期

5 劉苒苒;;基于移動Agent的Web服務(wù)安全訪問機(jī)制研究[J];信息通信;2007年06期

6 宋棟;崔勇;;基于代理的Web服務(wù)安全研究[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2008年11期

7 夏敏;陳平;;Web服務(wù)安全關(guān)鍵技術(shù)研究綜述[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2009年03期

8 董潔;;網(wǎng)絡(luò)教育Web服務(wù)安全解決方案[J];赤峰學(xué)院學(xué)報(自然科學(xué)版);2009年09期

9 賀正求;吳禮發(fā);洪征;王睿;李華波;;Web服務(wù)安全問題研究[J];計算機(jī)科學(xué);2010年08期

10 柳青;;云計算服務(wù)安全問題研究[J];信息網(wǎng)絡(luò)安全;2011年06期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 磨科鵬;;網(wǎng)絡(luò)技術(shù)員應(yīng)知的Web服務(wù)安全原理[A];全國計算機(jī)安全學(xué)術(shù)交流會論文集（第二十四卷）[C];2009年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 記者于芳;“服務(wù)安全”食品安全項目首次進(jìn)入中國[N];中國食品報;2010年

2 威圖電子機(jī)械技術(shù)（上海）有限公司總裁 鄭清好;公共系統(tǒng)服務(wù)安全讓城市生活更美好[N];中國計算機(jī)報;2012年

3 UT斯達(dá)康首席科學(xué)家 楊景;融合服務(wù)安全體系也將轉(zhuǎn)型[N];中國電子報;2006年

4 本報記者 劉玉其;打防并舉堵住增值電信服務(wù)安全漏洞[N];通信信息報;2011年

5 吳關(guān)龍;不為醉酒者提供代駕服務(wù)值得借鑒[N];人民公安報·交通安全周刊;2014年

6 劉磊;軟件+服務(wù)安全才能快跑？[N];中國計算機(jī)報;2005年

7 本報記者　周蓉蓉;IBM搶灘Web服務(wù)安全[N];計算機(jī)世界;2002年

8 本報記者 傅春榮;境外網(wǎng)絡(luò)服務(wù)安全敲響警鐘[N];中華工商時報;2009年

9 市安監(jiān)局局長 勾東升;著力“五個強(qiáng)化” 服務(wù)安全發(fā)展[N];淄博日報;2013年

10 王健;集團(tuán)公司部署奧運(yùn)郵政服務(wù)安全工作[N];中國郵政報;2008年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 孟慶華;基于社會聯(lián)盟機(jī)制的Web服務(wù)安全控制模型研究[D];東華大學(xué);2008年

2 趙逢禹;Web服務(wù)安全域分析與攻擊檢測方法研究[D];復(fù)旦大學(xué);2010年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 王輝;Web服務(wù)安全問題研究[D];華東師范大學(xué);2008年

2 韓坤;Web服務(wù)安全會話管理的研究與實現(xiàn)[D];北京郵電大學(xué);2007年

3 陳麗麗;Web服務(wù)安全組合問題研究[D];重慶大學(xué);2009年

4 石勇;Web服務(wù)安全問題及其對策研究[D];北京師范大學(xué);2008年

5 宋棟;Web服務(wù)安全代理的研究與設(shè)計[D];解放軍信息工程大學(xué);2008年

6 楊延嬌;基于Web服務(wù)安全的異常數(shù)據(jù)挖掘算法研究[D];西北師范大學(xué);2007年

7 李程程;Web服務(wù)安全通信模型研究[D];山東師范大學(xué);2010年

8 陳陽;Web服務(wù)安全代理設(shè)計與實現(xiàn)[D];電子科技大學(xué);2004年

9 盧文鋒;Web服務(wù)安全結(jié)構(gòu)模型研究[D];山東師范大學(xué);2006年

10 謝凡;基于安全令牌的Web服務(wù)安全研究[D];中國地質(zhì)大學(xué)（北京）;2007年

，

本文編號：525190