本文關鍵詞：基于無干擾理論的云服務行為可信模型

  更多相關文章： 云服務 可信云 行為可信 無干擾理論 虛擬化

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

【相似文獻】

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

1 崔雋;黃皓;陳志賢;;基于不干擾理論的隔離語義描述及隔離策略的自動化驗證方法研究[J];計算機科學;2010年06期

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

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

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

5 陳菊;譚良;;一個基于進程保護的可信終端模型[J];計算機科學;2011年04期

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

7 ;[J];;年期

，

本文編號：530169