【摘要】：為推進云計算的發(fā)展，本文利用形式化方法對云計算系統(tǒng)的形式語義進行了刻畫，并在其基礎之上，對云計算中的變化影響分析問題和數(shù)據(jù)安全性評測問題進行了較為深入地研究，主要工作如下： 1）利用抽象源對云計算系統(tǒng)的形式語義進行了刻畫�；谠诒倔w中引入動態(tài)語義的思想提出了一種新的知識表示方法——抽象源，，利用抽象源從云的共性和特性兩個角度對云計算系統(tǒng)的形式語義進行了刻畫，并通過云服務的一個實例SCSKP對該方法的有效性進行了說明。 2）對云計算系統(tǒng)中“變化”的影響進行了分析。構建了一種包含云中“變化”信息的變化傳播模型，定義了一種能對該模型進行形式化表示的編碼CTMC，并基于變化傳播模型和CTMC編碼給出了一種可以對云中常見的“變化”影響進行分析的方法。 3）利用tabular表達式通用模型對云計算系統(tǒng)進行了描述。在tabular表達式通用模型中擴展了一些新的表類型，給出了一種以抽象源為媒介用tabular表達式對云計算系統(tǒng)進行描述的方法，增強了抽象源的適用性。 4）對SCSKP中數(shù)據(jù)的安全性進行了分析評測�；赟CSKP的抽象源描述分析了SCSKP的安全防護能力，利用馬爾可夫模型對SCSKP中各種非法入侵發(fā)生的概率進行了分析，基于分析結果計算了非法入侵的損失期望。
[Abstract]:In order to promote the development of cloud computing, the formal method is used to describe the formal semantics of cloud computing system. The change impact analysis and data security evaluation in cloud computing are studied in depth. The main work is as follows: 1) the formal semantics of cloud computing systems are described by abstract sources. Based on the idea of introducing dynamic semantics into ontology, a new knowledge representation method, abstract source, is proposed. The formal semantics of cloud computing system is described from two aspects: generality and characteristic of cloud. The effectiveness of this method is illustrated by an example of cloud service SCSKP. 2) analyze the influence of "change" in cloud computing system. A change propagation model containing "change" information in the cloud is constructed, and a coded CTMC, is defined to formalize the model. Based on the change propagation model and CTMC coding, a method to analyze the influence of "change" is presented. 3) the general model of tabular expression is used to describe cloud computing system. Some new table types are extended in the general model of tabular expressions, and a method of describing cloud computing systems using tabular expressions as the medium of abstract source is presented, which enhances the applicability of abstract sources. 4) the data security in SCSKP is analyzed and evaluated. Based on the abstract source description of SCSKP, the security protection ability of SCSKP is analyzed. The probability of various illegal intrusions in SCSKP is analyzed by Markov model, and the loss expectation of illegal intrusion is calculated based on the analysis results.
【學位授予單位】：吉林大學
【學位級別】：博士
【學位授予年份】：2014
【分類號】：TP393.09;TP309.2

【參考文獻】

相關期刊論文 前10條

1 周寧;謝俊元;;基于定性多用戶偏好的Web服務選擇[J];電子學報;2011年04期

2 王鵬;孟丹;詹劍鋒;涂碧波;;數(shù)據(jù)密集型計算編程模型研究進展[J];計算機研究與發(fā)展;2010年11期

3 張逢U

本文編號：2327355