本文關(guān)鍵詞：基于擴(kuò)展ambient ASM的云計(jì)算形式化模型

  更多相關(guān)文章： Mobile Ambient演算 抽象狀態(tài)機(jī) ambient ASM 云計(jì)算 client-to-cloud交互

【摘要】：隨著社會(huì)進(jìn)步和互聯(lián)網(wǎng)技術(shù)發(fā)展,網(wǎng)絡(luò)數(shù)據(jù)量飛速增長(zhǎng)且規(guī)模日漸龐大。傳統(tǒng)數(shù)據(jù)處理方法存在數(shù)據(jù)存儲(chǔ)成本過(guò)高、海量數(shù)據(jù)管理較困難、可靠性較低、效率低下、并行處理程序編寫(xiě)困難等諸多缺點(diǎn)。人們需要一種新的技術(shù)思想來(lái)解決這些問(wèn)題。云計(jì)算的思想就很自然地被提出來(lái)。隨著云計(jì)算服務(wù)的廣泛使用,租戶(hù)對(duì)云計(jì)算提出了越來(lái)越高的要求,云計(jì)算環(huán)境的動(dòng)態(tài)性、隨機(jī)性、復(fù)雜性和開(kāi)放性使得原有方案難以適用。針對(duì)云計(jì)算應(yīng)用系統(tǒng)的搭建模型的研究還處在繼續(xù)探索之中,成果相對(duì)較少。使用合適的云計(jì)算框架模型,高效的實(shí)現(xiàn)云計(jì)算服務(wù),是云時(shí)代環(huán)境下,信息化建設(shè)取得成功的關(guān)鍵因素。在本文中,我們提出一種形式化方法,既能描述并行系統(tǒng)組件的算法結(jié)構(gòu)又能描述復(fù)雜分布式云系統(tǒng)的動(dòng)態(tài)拓?fù)浣Y(jié)構(gòu)。結(jié)合云計(jì)算的服務(wù)模式特點(diǎn),給出了一個(gè)簡(jiǎn)化的基礎(chǔ)設(shè)施即服務(wù)層(IaaS)云服務(wù)形式化模型。論文主要工作內(nèi)容和成果包括以下幾個(gè)方面:(1)總結(jié)介紹了云計(jì)算的基本概念,特征及框架體系結(jié)構(gòu),并對(duì)云計(jì)算的服務(wù)模式、訪問(wèn)控制技術(shù)以及典型的云計(jì)算平臺(tái)進(jìn)行分析。(2)針對(duì)云計(jì)算服務(wù)系統(tǒng)中,既要描述移動(dòng)計(jì)算系統(tǒng)又要描述復(fù)雜的面向服務(wù)的系統(tǒng)架構(gòu)形式化模型的需求,我們?cè)敿?xì)介紹mobile ambient演算以及抽象狀態(tài)機(jī)(Abstract State Machine,簡(jiǎn)稱(chēng)ASM)兩種形式化工具的語(yǔ)法、語(yǔ)義,并仔細(xì)描述了傳統(tǒng)ambient ASM的定義。(3)針對(duì)傳統(tǒng)ambient ASM定義的不足,即原定義對(duì)于移動(dòng)ambients所給出的定義不完整,并且原始ambient演算中,in、out、open操作可以不受限進(jìn)行,環(huán)境對(duì)自身邊界沒(méi)有任何管理權(quán)限的不足,提出了一個(gè)擴(kuò)展ambient ASM定義,將帶口令的安全ambient演算引入ASM規(guī)則中,增強(qiáng)了環(huán)境對(duì)自身邊界的管理與環(huán)境的安全性。(4)完成了基于擴(kuò)展ambient ASM的云計(jì)算形式化模型的設(shè)計(jì)。
【學(xué)位授予單位】：廣西民族大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類(lèi)號(hào)】：TP393.09

【參考文獻(xiàn)】

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

1 王于丁;楊家海;徐聰;凌曉;楊洋;;云計(jì)算訪問(wèn)控制技術(shù)研究綜述[J];軟件學(xué)報(bào);2015年05期

2 林果園;賀珊;黃皓;吳吉義;陳偉;;基于行為的云計(jì)算訪問(wèn)控制安全模型[J];通信學(xué)報(bào);2012年03期

3 匡勝徽;李勃;;云計(jì)算體系結(jié)構(gòu)及應(yīng)用實(shí)例分析[J];計(jì)算機(jī)與數(shù)字工程;2010年03期

4 陳全;鄧倩妮;;云計(jì)算及其關(guān)鍵技術(shù)[J];計(jì)算機(jī)應(yīng)用;2009年09期

5 陳承歡;劉榮勝;高春鳴;;基于Mobile Ambients的網(wǎng)絡(luò)實(shí)時(shí)模擬方法[J];計(jì)算機(jī)工程與設(shè)計(jì);2009年04期

6 張健;;云計(jì)算概念和影響力解析[J];電信網(wǎng)技術(shù);2009年01期

7 江華;李祥;;帶口令的安全盒子環(huán)境演算[J];計(jì)算機(jī)工程;2007年09期

8 封富君;李俊山;;新型網(wǎng)絡(luò)環(huán)境下的訪問(wèn)控制技術(shù)[J];軟件學(xué)報(bào);2007年04期

，

本文編號(hào)：1288895