發(fā)布時間：2018-05-14 08:26

  本文選題：云平臺 + 可信性分析��； 參考：《軟件學報》2016年06期

【摘要】：如何使得用戶信任云服務提供商及其云平臺,是云計算普及的關(guān)鍵因素之一.針對目前云平臺可信性所包含的內(nèi)容與分析評價依據(jù)尚不完善的現(xiàn)狀,且缺乏從理論層次對于云平臺的部分可信屬性進行分析與評估方法的問題,首先對云平臺的可信性進行定義,并結(jié)合國內(nèi)外相關(guān)云安全標準與可信性規(guī)范以及作者的理解,明確了云平臺可信性的子屬性與具體分析內(nèi)容,從而明確了所提出模型的適用范圍、分析目的以及依據(jù).在此基礎上,提出模型建立方法.該方法以標記變遷系統(tǒng)作為操作語義描述工具,從云平臺內(nèi)部組件交互過程出發(fā),將平臺對外提供服務過程刻畫為用戶與云的交互以及云平臺內(nèi)部實體間的交互,并利用模型分析檢測工具Kronos從可用、可靠、安全等多個角度對平臺內(nèi)部狀態(tài)變化過程進行分析.分析結(jié)果不但能夠發(fā)現(xiàn)已知的可信性問題,還發(fā)現(xiàn)了一些未知的隱患,說明了模型建立方法的有效性,并為如何評價云平臺的可信性,進而構(gòu)建可信云提供了理論支撐.
[Abstract]:How to make users trust cloud service providers and their cloud platforms is one of the key factors in the popularity of cloud computing. In view of the current situation that the content and evaluation basis of cloud platform credibility are not perfect, and the lack of theoretical analysis and evaluation of the cloud platform part of the trusted attributes of the problem, Firstly, the credibility of cloud platform is defined, and the subattributes and concrete analysis contents of the credibility of cloud platform are clarified by combining with the relevant cloud security standards and credibility standards and the author's understanding at home and abroad. The application scope, purpose and basis of the proposed model are clarified. On this basis, a method of modeling is proposed. In this method, the label transition system is used as a tool for describing the operation semantics. Based on the interaction process of components within the cloud platform, the external service process of the platform is described as the interaction between the user and the cloud and the interaction between the entities inside the cloud platform. The model analysis tool Kronos is used to analyze the internal state change process of the platform from several aspects, such as availability, reliability, security and so on. The analysis results can not only find the known credibility problems, but also find some unknown hidden dangers, which shows the validity of the model building method, and provides theoretical support for how to evaluate the credibility of the cloud platform and then to construct the trusted cloud.
【作者單位】： 武漢大學計算機學院;空天信息安全與可信計算教育部重點實驗室(武漢大學);中國信息安全測評中心;
【基金】：國家重點基礎研究發(fā)展計劃(973)(2014CB340600) 國家高技術(shù)研究發(fā)展計劃(863)(2015AA016002) 國家自然科學基金(91118003,61173138,61272452,61332019)~~
【分類號】：TP393.09

【相似文獻】

相關(guān)期刊論文 前1條

1 ;MAX中的模型建立[J];軟件;2004年03期

相關(guān)碩士學位論文 前1條

1 趙婷;C57BL/6小鼠CIA模型建立方法的改進及CIA小鼠脾淋巴細胞Th1與Th2的動態(tài)觀察[D];承德醫(yī)學院;2013年

，

本文編號：1887114