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

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

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

【參考文獻(xiàn)】

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

5 劉苒苒;;基于移動(dòng)Agent的Web服務(wù)安全訪問(wèn)機(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é)報(bào)(自然科學(xué)版);2009年09期

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

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

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

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

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

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

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

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

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

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

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

9 市安監(jiān)局局長(zhǎng) 勾東升;著力“五個(gè)強(qiáng)化” 服務(wù)安全發(fā)展[N];淄博日?qǐng)?bào);2013年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：525190