本文關鍵詞：公安網(wǎng)環(huán)境下拜占庭故障模型容錯技術研究

  更多相關文章： 專網(wǎng)環(huán)境 完整性 拜占庭故障 拜占庭故障檢測

【摘要】：公安信息系統(tǒng)建設、運維與管理是綜合性強、關聯(lián)性廣的系統(tǒng)工程,與公安的發(fā)展密切相關,與公安的工作需求密切相關,其信息量也特別巨大。隨著系統(tǒng)規(guī)模的不斷擴大,系統(tǒng)的穩(wěn)定性、可用性顯得十分重要,如何有效地檢測系統(tǒng)故障將是公安信息化建設面臨的、需要解決的重要課題。為此,本文研究了公安專網(wǎng)環(huán)境下支持拜占庭故障模型的容錯技術,以充分發(fā)揮公安信息化的作用。 拜占庭故障作為一種通用故障模型,能夠有效刻畫軟件錯誤、惡意入侵等故障行為。但拜占庭容錯技術自身的不足,影響了其在實際系統(tǒng)中的應用。首先,現(xiàn)有拜占庭容錯技術側重于屏蔽故障,對應用多樣化的容錯需求支持不足。其次,拜占庭故障可以通過含糊行為等手段欺騙正確節(jié)點,上層應用或者管理員甚至不容易覺察到拜占庭故障的存在,故障隱蔽性對故障檢測提出了挑戰(zhàn)。第三,拜占庭故障隨著模塊之間依賴關系在系統(tǒng)范圍內(nèi)傳播導致故障根源與故障表征呈現(xiàn)非關聯(lián)性,增大了定位故障根源的復雜性。 針對上述問題,本文對專網(wǎng)環(huán)境下支持拜占庭故障模型的容錯技術,從限制、檢測以及屏蔽拜占庭故障等角度出發(fā)開展研究工作,并開發(fā)了原型來支持實際系統(tǒng)構建。 針對拜占庭故障檢測中故障行為隱蔽、缺乏有效檢測手段以及檢測結果正確性難以保證等問題,采用一致性檢查和審計判斷被檢測節(jié)點是否存在含糊行為、軟件錯誤；通過構建Quorum檢測器避免檢測器自身是拜占庭故障節(jié)點對檢測結果正確性的影響。實驗表明,B-Detector對被檢測系統(tǒng)侵入較小,滿足實際系統(tǒng)的性能需求,同時結合航空分布式優(yōu)化設計系統(tǒng)(AGrid)驗證了B-Detector在實際系統(tǒng)中的可用性。
【關鍵詞】：專網(wǎng)環(huán)境 完整性 拜占庭故障 拜占庭故障檢測
【學位授予單位】：大連理工大學
【學位級別】：碩士
【學位授予年份】：2013
【分類號】：TP302.8;D631.1
【目錄】：

• 摘要4-5
• Abstract5-8
• 1 緒論8-16
• 1.1 研究背景8-10
• 1.2 國內(nèi)外研究現(xiàn)狀10-13
• 1.2.1 拜占庭容錯協(xié)議理論研究11
• 1.2.2 實用拜占庭容錯協(xié)議設計11-12
• 1.2.3 面向具體應用的拜占庭容錯技術研究12-13
• 1.3 研究目的及意義13-14
• 1.3.1 應用容錯需求的多樣性13
• 1.3.2 拜占庭故障的隱蔽性13-14
• 1.3.3 拜占庭故障定位的復雜性14
• 1.3.4 拜占庭容錯協(xié)議的兼容性14
• 1.3.5 拜占庭容錯技術的易用性14
• 1.4 主要研究工作14-16
• 2 相關技術與研究現(xiàn)狀16-35
• 2.1 系統(tǒng)模型及故障模型16-17
• 2.1.1 系統(tǒng)模型16-17
• 2.1.2 故障模型17
• 2.2 完整性檢測技術17-22
• 2.2.1 安全散列函數(shù)17-18
• 2.2.2 驗證數(shù)據(jù)結構18-21
• 2.2.3 典型應用實例21-22
• 2.3 故障檢測技術22-28
• 2.3.1 不可靠故障檢測器22-23
• 2.3.2 拜占庭故障檢測23-25
• 2.3.3 有狀態(tài)故障檢測25-28
• 2.4 副本狀態(tài)機技術28-35
• 2.4.1 基于協(xié)商的副本狀態(tài)機協(xié)議29-33
• 2.4.2 支持副本1狀態(tài)機構建的其它技術33-35
• 3 B-Detector：一種支持拜占庭故障檢測的方法35-60
• 3.1 B-DETECTOR的技術介紹35-37
• 3.2 主要相關工作37-38
• 3.3 B-DETECTOR概述38-41
• 3.3.1 B-DETECTOR設計38-40
• 3.3.2 基于B-DETECTOR構建應用執(zhí)行流程40-41
• 3.4 B-DETECTOR實現(xiàn)41-48
• 3.4.1 節(jié)點日志42-43
• 3.4.2 代理通訊機制43-44
• 3.4.3 拜占庭故障檢測44-46
• 3.4.4 證據(jù)傳輸46-48
• 3.4.5 主動探測48
• 3.5 B-DETECTOR應用48-50
• 3.5.1 B-DETECTOR-AGRID實現(xiàn)49-50
• 3.5.2 B-DETECTOR-AGRID審計策略50
• 3.6 B-DETECTOR分析與評測50-60
• 3.6.1 B-DETECTOR性能分析51-54
• 3.6.2 B-DETECTOR性能評測54-57
• 3.6.3 B-DETECTOR-AGRID評測57-60
• 4 結論60-62
• (1) 全文總結60-61
• (2) 展望61-62
• 致謝62-63
• 參考文獻63-67

【參考文獻】

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

1 王永劍;崔德剛;錢衛(wèi);周瓊瓊;;基于網(wǎng)格技術的多學科優(yōu)化系統(tǒng)[J];華中科技大學學報(自然科學版);2010年S1期

2 咸鶴群;馮登國;;外包數(shù)據(jù)庫模型中的完整性檢測方案[J];計算機研究與發(fā)展;2010年06期

3 金澈清,錢衛(wèi)寧,周傲英;流數(shù)據(jù)分析與管理綜述[J];軟件學報;2004年08期

4 田秀霞;王曉玲;高明;周傲英;;數(shù)據(jù)庫服務——安全與隱私保護[J];軟件學報;2010年05期

，

本文編號：1070948