本文關(guān)鍵詞：網(wǎng)絡(luò)可信控制模型及形式化分析

  更多相關(guān)文章： 網(wǎng)絡(luò)可信控制 控制模型 形式化分析 Petri網(wǎng) 可控性 可信性

【摘要】：互聯(lián)網(wǎng)規(guī)模急劇擴(kuò)張,異構(gòu)性加強(qiáng),業(yè)務(wù)與服務(wù)種類日益多樣化使得當(dāng)前網(wǎng)絡(luò)已演變成一個(gè)非線性復(fù)雜巨系統(tǒng),網(wǎng)絡(luò)在可信性和可控性等方面都受到嚴(yán)峻挑戰(zhàn),建設(shè)可信可控網(wǎng)絡(luò)已成為下一代互聯(lián)網(wǎng)發(fā)展的必然要求之一,而保障對(duì)網(wǎng)絡(luò)有效可信的控制又是加強(qiáng)網(wǎng)絡(luò)可信可控性的重要手段。然而,目前對(duì)于如何實(shí)現(xiàn)網(wǎng)絡(luò)的可信控制(Trustworthy Network Control)還處于研究探索階段,還沒(méi)有一個(gè)用以指導(dǎo)網(wǎng)絡(luò)可信控制實(shí)現(xiàn)的網(wǎng)絡(luò)可信控制模型,也缺乏對(duì)控制模型的功能、性能和可信性進(jìn)行統(tǒng)一建模的形式化描述方法,在可控性、可信性分析能力方面也很薄弱,因此,本論文面向可信可控網(wǎng)絡(luò),提出一種網(wǎng)絡(luò)可信控制模型,研究其形式化描述與分析問(wèn)題,克服“框圖+自然語(yǔ)言明”式模型描述的不一致和歧義性,實(shí)現(xiàn)對(duì)模型可控能力與可信性的嚴(yán)密分析。首先,從增強(qiáng)決策依據(jù)采集與共享可信性、提高控制邏輯分析與決策可信性、加強(qiáng)控制指令實(shí)施及結(jié)果可信性3個(gè)角度,提出一個(gè)網(wǎng)絡(luò)可信控制模型,支持跨層監(jiān)測(cè)、協(xié)同推理、集中決策、可信實(shí)施的網(wǎng)絡(luò)可信控制。其次,引入Q-代數(shù)建立可信特征描述方法,提出一種帶Q-代數(shù)的廣義隨機(jī)高級(jí)Petri網(wǎng)——Q-GSHLPN網(wǎng),確立其變遷實(shí)施規(guī)則和可信特征聚合規(guī)則等,實(shí)現(xiàn)對(duì)可信控制模型的形式化描述。第三,在模型可控性分析方面,分別提出了Q-GSHLPN網(wǎng)合法變遷實(shí)施序列判定算法和基于進(jìn)程的可達(dá)性判定算法,能夠?qū)尚趴刂颇Ｐ椭械目刂乒δ芘渲�、運(yùn)行機(jī)制、資源變換進(jìn)行全面分析,實(shí)現(xiàn)對(duì)模型控制功能和控制能力的形式化分析。最后,提出可信性描述邏輯及Q-GSHLPN網(wǎng)標(biāo)識(shí)、行為與可信性描述邏輯間的滿足關(guān)系,定義可信特征量化比較的模擬關(guān)系與可信距離,給出多維可信特征向綜合可信度規(guī)約的計(jì)算方法,示例基于可信特征模擬關(guān)系與可信距離的可信性量化分析,實(shí)現(xiàn)對(duì)模型的可信性定性與定量分析。論文對(duì)網(wǎng)絡(luò)可信控制模型及其形式化問(wèn)題做了深入研究,提出了一整套可信控制模型的形式化分析方法,理論證明與示例分析表明了模型的正確性和有效性,從而為實(shí)現(xiàn)網(wǎng)絡(luò)的可信控制奠定了堅(jiān)實(shí)的基礎(chǔ)。
【關(guān)鍵詞】：網(wǎng)絡(luò)可信控制 控制模型 形式化分析 Petri網(wǎng) 可控性 可信性
【學(xué)位授予單位】：東南大學(xué)
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP393.08
【目錄】：

• 摘要4-5
• ABSTRACT5-11
• 縮略詞表11-14
• 第1章 緒論14-25
• 1.1 研究背景14-21
• 1.1.1 互聯(lián)網(wǎng)發(fā)展趨勢(shì)14-17
• 1.1.2 下一代網(wǎng)絡(luò)體系結(jié)構(gòu)17-20
• 1.1.3 可信可控網(wǎng)絡(luò)20-21
• 1.2 網(wǎng)絡(luò)可信控制問(wèn)題21-22
• 1.3 研究目標(biāo)與內(nèi)容22-23
• 1.3.1 研究目標(biāo)22
• 1.3.2 研究?jī)?nèi)容22-23
• 1.3.3 研究?jī)?nèi)容之間關(guān)系23
• 1.4 論文組織結(jié)構(gòu)23-24
• 1.5 本章小結(jié)24-25
• 第2章 研究現(xiàn)狀25-36
• 2.1 網(wǎng)絡(luò)控制模型25-29
• 2.1.1 改良式的控制模型25-27
• 2.1.2 革命式的控制模型27-29
• 2.2 網(wǎng)絡(luò)可信控制29-33
• 2.2.1 路由可信控制30-31
• 2.2.2 接入可信控制31-33
• 2.3 形式化分析33-34
• 2.3.1 形式化理論簡(jiǎn)介33-34
• 2.3.2 網(wǎng)絡(luò)控制問(wèn)題形式化研究34
• 2.4 研究現(xiàn)狀總結(jié)34-35
• 2.5 本章小結(jié)35-36
• 第3章 面向可信可控網(wǎng)絡(luò)的網(wǎng)絡(luò)可信控制模型36-48
• 3.1 研究思路36-37
• 3.2 網(wǎng)絡(luò)可信控制模型37-41
• 3.2.1 設(shè)計(jì)原則37
• 3.2.2 總體結(jié)構(gòu)37-38
• 3.2.3 功能配置38-41
• 3.3 網(wǎng)絡(luò)可信控制模型的實(shí)施41-44
• 3.3.1 實(shí)施實(shí)體部署41-42
• 3.3.2 網(wǎng)絡(luò)可信控制流程42-44
• 3.4 網(wǎng)絡(luò)可信控制模型的應(yīng)用44-47
• 3.4.1 可信可控網(wǎng)絡(luò)環(huán)境44
• 3.4.2 路由可信控制機(jī)制44-46
• 3.4.3 資源可信控制機(jī)制46-47
• 3.5 本章小結(jié)47-48
• 第4章 網(wǎng)絡(luò)可信控制模型的形式化描述48-62
• 4.1 引言48
• 4.2 可信控制模型的描述PETRI網(wǎng)—Q-GSHLPN48-56
• 4.2.1 可信特征的Q-代數(shù)描述49-51
• 4.2.2 Q-GSHLPN網(wǎng)定義51-53
• 4.2.3 變遷實(shí)施規(guī)則53
• 4.2.4 可信特征聚合規(guī)則53-56
• 4.3 可信控制模型的Q-GSHLPN描述56-61
• 4.4 本章小結(jié)61-62
• 第5章 網(wǎng)絡(luò)可信控制模型的可控性分析62-89
• 5.1 引言62
• 5.2 具體控制功能分析62-73
• 5.2.1 狀態(tài)方程與不變量63-64
• 5.2.2 理論基礎(chǔ)64-66
• 5.2.3 LFS判定算法66-68
• 5.2.4 模型可信控制功能分析示例68-73
• 5.3 整體控制能力分析73-88
• 5.3.1 基本動(dòng)態(tài)性質(zhì)73-75
• 5.3.2 Petri網(wǎng)進(jìn)程75-78
• 5.3.3 Petri網(wǎng)原子進(jìn)程段78-82
• 5.3.4 基于進(jìn)程的Petri網(wǎng)可達(dá)性判定82-86
• 5.3.5 模型控制能力分析示例86-88
• 5.5 本章小結(jié)88-89
• 第6章 網(wǎng)絡(luò)可信控制模型的可信性分析89-101
• 6.1 引言89-90
• 6.2 可信性定性分析90-93
• 6.2.1 可信性描述邏輯90-91
• 6.2.2 可信性分析示例91-93
• 6.3 可信性量化分析93-100
• 6.3.1 模擬關(guān)系與可信距離93-95
• 6.3.2 多維可信特征的綜合可信度歸約方法95-97
• 6.3.3 可信性量化分析示例97-100
• 6.4 本章小結(jié)100-101
• 第7章 總結(jié)與展望101-103
• 7.1 論文工作總結(jié)101
• 7.2 后續(xù)研究工作101-103
• 參考文獻(xiàn)103-111
• 致謝111-112
• 攻讀博士學(xué)位期間發(fā)表論文情況112-113
• 攻讀博士學(xué)位期間參與的科研項(xiàng)目113-114
• 作者簡(jiǎn)介114

【參考文獻(xiàn)】

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

1 譚良;陳菊;;一種可信終端運(yùn)行環(huán)境遠(yuǎn)程證明方案[J];軟件學(xué)報(bào);2014年06期

2 鄭麗娟;韓臻;;基于分離機(jī)制網(wǎng)絡(luò)的可信域內(nèi)快速認(rèn)證協(xié)議[J];計(jì)算機(jī)研究與發(fā)展;2012年05期

3 符寧;周興社;詹濤;;一種能夠描述可信特征的進(jìn)程代數(shù)[J];計(jì)算機(jī)研究與發(fā)展;2011年11期

4 郝克剛;郭小群;李向?qū)?;Pi~+演算及其對(duì)Petri網(wǎng)的表達(dá)[J];計(jì)算機(jī)學(xué)報(bào);2011年02期

5 王元卓;林闖;程學(xué)旗;方濱興;;基于隨機(jī)博弈模型的網(wǎng)絡(luò)攻防量化分析方法[J];計(jì)算機(jī)學(xué)報(bào);2010年09期

6 于愛(ài)民;馮登國(guó);汪丹;;基于屬性的遠(yuǎn)程證明模型[J];通信學(xué)報(bào);2010年08期

7 張俊偉;馬建峰;文相在;;通用可組合的可信網(wǎng)絡(luò)連接模型和IF-T中的EAP-TNC協(xié)議[J];中國(guó)科學(xué):信息科學(xué);2010年02期

8 秦宇;馮登國(guó);;基于組件屬性的遠(yuǎn)程證明[J];軟件學(xué)報(bào);2009年06期

9 羅安安;林闖;王元卓;鄧法超;陳震;;可信網(wǎng)絡(luò)連接的安全量化分析與協(xié)議改進(jìn)[J];計(jì)算機(jī)學(xué)報(bào);2009年05期

10 李昊;胡浩;陳小峰;;可信密碼模塊符合性測(cè)試方法研究[J];計(jì)算機(jī)學(xué)報(bào);2009年04期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前2條

1 胡湘江;域間路由系統(tǒng)安全關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2009年

2 趙佳;可信認(rèn)證關(guān)鍵技術(shù)研究[D];北京交通大學(xué);2008年

，

本文編號(hào)：757948