分布式控制系統(tǒng)中新安全保障技術(shù)的研究——安全核技術(shù).pdf

1、軟件的大量應(yīng)用,使控制系統(tǒng)面臨嚴(yán)峻的安全考驗陷入了安全危機(jī)中,迫切需要新安全技術(shù).安全核就是應(yīng)運而生的一種安全保障新概念.該論文以研究安全核在復(fù)雜分布式控制系統(tǒng)中的實施方案為目標(biāo)展開了理論上與實踐上的研究,取得了若干有用的成果,并有所突破.論文首先從服務(wù)質(zhì)量的高度較深入地揭示了安全性研究的本質(zhì),總結(jié)了近十年來的研究成果及發(fā)展趨勢,理清了安全性研究和開發(fā)高可信計算機(jī)系統(tǒng)的思路.然后對分布式控制系統(tǒng)可信性評價的多層次和綜合性了探索,并根據(jù)現(xiàn)

2、場多機(jī)系統(tǒng)對可用性和可靠性要求突出的特點,提出了一種建立在系統(tǒng)功能級之上,把可用性和可靠性結(jié)合起來評估系統(tǒng)可信性的模型.在上述基礎(chǔ)上,論文從全新的視角(安全軟件和引用監(jiān)控器兩個視角)深入地剖析了安全核概念,分析了現(xiàn)有安全核的實施方案不能移用于復(fù)雜分布式控制系統(tǒng)的原因.從而提出了建立分布式控制系統(tǒng)安全體系的創(chuàng)新設(shè)想、探討了安全體系應(yīng)具有的設(shè)計目標(biāo)和實施的可行性,構(gòu)建了安全體系SSBSK.然后圍繞實現(xiàn)安全體系SSBSK所面臨的三個主要困難進(jìn)