公安網(wǎng)環(huán)境下拜占庭故障模型容錯技術(shù)研究.pdf

1、公安信息系統(tǒng)建設(shè)、運維與管理是綜合性強、關(guān)聯(lián)性廣的系統(tǒng)工程，與公安的發(fā)展密切相關(guān)，與公安的工作需求密切相關(guān)，其信息量也特別巨大。隨著系統(tǒng)規(guī)模的不斷擴大，系統(tǒng)的穩(wěn)定性、可用性顯得十分重要，如何有效地檢測系統(tǒng)故障將是公安信息化建設(shè)面臨的、需要解決的重要課題。為此，本文研究了公安專網(wǎng)環(huán)境下支持拜占庭故障模型的容錯技術(shù)，以充分發(fā)揮公安信息化的作用。
　　拜占庭故障作為一種通用故障模型，能夠有效刻畫軟件錯誤、惡意入侵等故障行為。但拜占庭容錯

2、技術(shù)自身的不足，影響了其在實際系統(tǒng)中的應(yīng)用。首先，現(xiàn)有拜占庭容錯技術(shù)側(cè)重于屏蔽故障，對應(yīng)用多樣化的容錯需求支持不足。其次，拜占庭故障可以通過含糊行為等手段欺騙正確節(jié)點，上層應(yīng)用或者管理員甚至不容易覺察到拜占庭故障的存在，故障隱蔽性對故障檢測提出了挑戰(zhàn)。第三，拜占庭故障隨著模塊之間依賴關(guān)系在系統(tǒng)范圍內(nèi)傳播導(dǎo)致故障根源與故障表征呈現(xiàn)非關(guān)聯(lián)性，增大了定位故障根源的復(fù)雜性。
　　針對上述問題，本文對專網(wǎng)環(huán)境下支持拜占庭故障模型的容錯技術(shù)，

3、從限制、檢測以及屏蔽拜占庭故障等角度出發(fā)開展研究工作，并開發(fā)了原型來支持實際系統(tǒng)構(gòu)建。
　　針對拜占庭故障檢測中故障行為隱蔽、缺乏有效檢測手段以及檢測結(jié)果正確性難以保證等問題，采用一致性檢查和審計判斷被檢測節(jié)點是否存在含糊行為、軟件錯誤;通過構(gòu)建Quorum檢測器避免檢測器自身是拜占庭故障節(jié)點對檢測結(jié)果正確性的影響。實驗表明，B-Detector對被檢測系統(tǒng)侵入較小，滿足實際系統(tǒng)的性能需求，同時結(jié)合航空分布式優(yōu)化設(shè)計系統(tǒng)(AGri