發(fā)布時(shí)間：2017-07-07 12:17

  本文關(guān)鍵詞：基于無干擾理論的云服務(wù)行為可信模型

  更多相關(guān)文章： 云服務(wù) 可信云 行為可信 無干擾理論 虛擬化

【摘要】：為解決云服務(wù)環(huán)境下存在的資源共享及特權(quán)安全威脅,將傳統(tǒng)的無干擾理論引入云服務(wù)環(huán)境中,提出一種基于無干擾理論的云服務(wù)可信模型(NICTM)。該模型將云服務(wù)中域、動(dòng)作、狀態(tài)、輸出等進(jìn)行抽象,形式化地定義了云服務(wù)環(huán)境中域的可信;然后證明了用戶域行為可信定理,符合定理的用戶域可以被證明是可信的;最后在Xen虛擬化平臺(tái)上實(shí)現(xiàn)了基于模型的原型系統(tǒng),并通過實(shí)驗(yàn)驗(yàn)證了模型的可行性。
【作者單位】： 武警工程大學(xué)網(wǎng)絡(luò)與信息安全武警部隊(duì)重點(diǎn)實(shí)驗(yàn)室;
【關(guān)鍵詞】： 云服務(wù) 可信云 行為可信 無干擾理論 虛擬化
【基金】：國家自然科學(xué)基金資助項(xiàng)目(61402530) 陜西省自然科學(xué)基礎(chǔ)研究計(jì)劃項(xiàng)目(2014JQ8301)~~
【分類號(hào)】：TP309;TP393.09
【正文快照】： 0引言云服務(wù)通過虛擬化技術(shù)[1]對(duì)底層計(jì)算、網(wǎng)絡(luò)、存儲(chǔ)資源進(jìn)行封裝,在給遠(yuǎn)程租戶提供各類資源、實(shí)現(xiàn)資源有效利用的同時(shí)也存在著巨大的安全威脅。云服務(wù)目前面臨的安全威脅主要來自兩個(gè)方面:一方面是共享資源的安全威脅[2];另一方面是特權(quán)安全威脅。其中共享資源的安全威脅源

【相似文獻(xiàn)】

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

1 崔雋;黃皓;陳志賢;;基于不干擾理論的隔離語義描述及隔離策略的自動(dòng)化驗(yàn)證方法研究[J];計(jì)算機(jī)科學(xué);2010年06期

2 陳曙;葉俊民;張帆;;一種基于污點(diǎn)數(shù)據(jù)傳播和無干擾理論的軟件行為可信性分析模型[J];計(jì)算機(jī)科學(xué);2013年05期

3 邱罡;王玉磊;周利華;;基于無干擾理論的完整性度量模型[J];四川大學(xué)學(xué)報(bào)(工程科學(xué)版);2010年04期

4 劉威鵬;張興;;基于非傳遞無干擾理論的二元多級(jí)安全模型研究[J];通信學(xué)報(bào);2009年02期

5 陳菊;譚良;;一個(gè)基于進(jìn)程保護(hù)的可信終端模型[J];計(jì)算機(jī)科學(xué);2011年04期

6 徐甫;;支持進(jìn)程代碼修改的非傳遞無干擾可信模型[J];計(jì)算機(jī)工程;2013年11期

7 ;[J];;年期

，

本文編號(hào)：530169