【正文】 第10章 計(jì)算機(jī)安全第一部分 閱讀和翻譯A部分 計(jì)算機(jī)安全 計(jì)算機(jī)安全是信息安全技術(shù)的一個(gè)分支。計(jì)算機(jī)安全的研究對(duì)象很多，包括保護(hù)信息不被盜竊或私藏，保全信息在界定的安全政策內(nèi)的可用性。計(jì)算機(jī)安全在計(jì)算機(jī)上添加了一些不同于大多數(shù)其他系統(tǒng)的要求，因?yàn)樗鼈兺鶎?duì)計(jì)算機(jī)在被限制的條件下不該怎么做進(jìn)行限制。 [1]這使得計(jì)算機(jī)安全特別具有挑戰(zhàn)性，因?yàn)樽層?jì)算機(jī)程序完全按照要求去執(zhí)行是相當(dāng)困難的。此外，消極的要求，錯(cuò)綜復(fù)雜的迷惑，需要詳盡的測(cè)試來(lái)驗(yàn)證，這對(duì)大多數(shù)計(jì)算機(jī)程序來(lái)說(shuō)是不切實(shí)際的。（1）計(jì)算機(jī)安全提供了將消極的要求轉(zhuǎn)化為積極的可執(zhí)行的規(guī)則的技術(shù)。正因?yàn)槿绱耍?jì)算機(jī)安全比很多計(jì)算機(jī)科學(xué)領(lǐng)域顯得更為精確和專業(yè)。提高計(jì)算機(jī)安全的典型方式可以包括以下內(nèi)容：l 只有那些不會(huì)危害計(jì)算機(jī)安全的才能進(jìn)入計(jì)算機(jī)。l 對(duì)計(jì)算機(jī)程序?qū)嵤┮?guī)則的硬件機(jī)制，從而避免計(jì)算機(jī)安全只依賴軟件。l 對(duì)計(jì)算機(jī)程序?qū)嵤┮?guī)則的操作系統(tǒng)機(jī)制，以避免過(guò)于信任計(jì)算機(jī)程序。l 規(guī)劃戰(zhàn)略，使計(jì)算機(jī)程序可靠和抵制崩潰。航空領(lǐng)域的應(yīng)用計(jì)算機(jī)安全對(duì)于幾乎所有的依靠計(jì)算機(jī)系統(tǒng)的技術(shù)驅(qū)動(dòng)的行業(yè)上是至關(guān)重要的?；谙到y(tǒng)和尋找弱點(diǎn)所在的計(jì)算機(jī)議題是維護(hù)操作工業(yè)的一個(gè)重要的部分。計(jì)算機(jī)安全對(duì)航空工業(yè)尤其重要，因?yàn)樗婕暗娘L(fēng)險(xiǎn)包括昂貴的設(shè)備和貨物，運(yùn)輸基礎(chǔ)設(shè)施和人的生命。安全可能被不法的硬件或軟件所危害，也可能被人為錯(cuò)誤，和錯(cuò)誤的操作環(huán)境所危害。攻擊計(jì)算機(jī)弱點(diǎn)的威脅可以源于破壞，間諜，工業(yè)競(jìng)爭(zhēng)，恐怖襲擊，機(jī)械故障和人為錯(cuò)誤。故意或無(wú)意濫用計(jì)算機(jī)系統(tǒng)的后果，在航空業(yè)的范圍內(nèi)導(dǎo)致了保密系統(tǒng)完整性的損失，從而可能導(dǎo)致更嚴(yán)重的問(wèn)題，如數(shù)據(jù)被盜或丟失，網(wǎng)絡(luò)和空中交通管制失靈，這樣又可能導(dǎo)致機(jī)場(chǎng)關(guān)閉，飛機(jī)損失，乘客的生命損失?？刂茝椝幍能娛孪到y(tǒng)可能會(huì)造成更大的風(fēng)險(xiǎn)。一個(gè)適當(dāng)?shù)脑跈C(jī)場(chǎng)攻擊并不需要很高的技術(shù)或資金，因?yàn)榫退銠C(jī)場(chǎng)停電也會(huì)引起世界范圍的關(guān)注。最簡(jiǎn)單的，可以說(shuō)也是最難以追查的安全漏洞是在特定的無(wú)線電頻率發(fā)射未經(jīng)授權(quán)的通信信號(hào)。這些傳輸可能欺騙空中交通管制員或者導(dǎo)致通訊完全中斷。這些事件是非常普遍的，過(guò)去已經(jīng)發(fā)生過(guò)改變商用飛機(jī)的行程并造成恐慌和時(shí)間混亂。在海洋上控制飛機(jī)是特別危險(xiǎn)的，因?yàn)槔走_(dá)監(jiān)視只延伸到二百二十五英里境外。在雷達(dá)的視線控制器外必須依靠與第三方的定期無(wú)線電通訊。閃電、電源波動(dòng)、浪涌、brownouts, blown fuse，以及其他各種停電時(shí)候應(yīng)該立即停用所有計(jì)算機(jī)系統(tǒng)，因?yàn)樗鼈兪且蕾囉陔娫础Ｔ谶^(guò)去的幾十年里也發(fā)生過(guò)其他意外和有意故障造成了重大破壞安全關(guān)鍵系統(tǒng)和依賴可靠的通信和電力危及計(jì)算機(jī)的安全。（2）著名的系統(tǒng)事故1983年，韓國(guó)00航空公司的一架波音747飛機(jī)由于導(dǎo)航計(jì)算機(jī)故障導(dǎo)致飛機(jī)185英里偏航進(jìn)入蘇聯(lián)領(lǐng)空被蘇聯(lián)蘇 15戰(zhàn)斗機(jī)擊落后，所有269名乘客均遇難。1994年，有超過(guò)一百不明黑客進(jìn)入美國(guó)空軍的羅馬實(shí)驗(yàn)室主要指揮和研究設(shè)施。一些國(guó)防承包商，和其他私營(yíng)部門組織通過(guò)偽裝成一個(gè)值得信賴羅馬中心的用戶使用特洛伊木馬病毒，黑客能夠不受限制地進(jìn)入羅馬的網(wǎng)絡(luò)系統(tǒng)，并刪除其活動(dòng)的痕跡。入侵者能夠獲得機(jī)密文件，如空氣任務(wù)命令系統(tǒng)數(shù)據(jù)，而且可以穿透連接網(wǎng)絡(luò)的國(guó)家航空和航天局戈達(dá)德太空飛行中心，賴特帕特森空軍基地。電磁干擾是另一個(gè)威脅計(jì)算機(jī)安全的因素。1989年，美空軍F16噴氣式飛機(jī)用230千克的炸藥打擊了一架格魯吉亞飛機(jī)，因?yàn)樗鼰o(wú)意釋放了一個(gè)電磁波。類似電信事故也發(fā)生在1994年，兩架UH60黑鷹直升機(jī)在伊拉克被一架F15飛機(jī)擊毀，因?yàn)閿澄易R(shí)別系統(tǒng)的加密系統(tǒng)發(fā)生故障。術(shù)語(yǔ)在工程安全系統(tǒng)中使用的一些術(shù)語(yǔ)說(shuō)明如下。l 防火墻可以是硬件設(shè)備或軟件程序。它們提供了一些措施防止網(wǎng)上入侵，通過(guò)限制網(wǎng)絡(luò)流量，可以在它們的基礎(chǔ)上，定義一套系統(tǒng)管理員規(guī)則。但由于它們?cè)试S一些應(yīng)用程序（如Web瀏覽器）連接到互聯(lián)網(wǎng)，它們不能防止在這些應(yīng)用中的一些漏洞。l 自動(dòng)定理證明和其他驗(yàn)證工具可以是重要的算法和代碼中使用的安全系統(tǒng)，可以在數(shù)學(xué)上證明，以滿足它們的規(guī)格。l 簡(jiǎn)單的微內(nèi)核可以被開(kāi)發(fā)以便我們能夠確保它們不包含任何錯(cuò)誤，例如：地球資源觀測(cè)衛(wèi)星系統(tǒng)與Coyotos ：一個(gè)更大的操作系統(tǒng)，能夠提供一個(gè)標(biāo)準(zhǔn)的POSIX的API，可以建立一個(gè)安全的微小型的API使用服務(wù)器運(yùn)行的正常程序。如果其中一個(gè)API的服務(wù)器有一個(gè)bug ，內(nèi)核和其他服務(wù)器不會(huì)受到影響，例如：赫德或Minix 3。l 加密技術(shù)可用于保護(hù)數(shù)據(jù)在系統(tǒng)之間的傳送，減少數(shù)據(jù)系統(tǒng)之間交換被攔截或者修改的概率。加密技術(shù)包括轉(zhuǎn)化信息，在傳輸過(guò)程中的不規(guī)則導(dǎo)致它不可讀。預(yù)定收件人可以解讀郵件，但無(wú)法竊聽(tīng)。l 安全加密處理器可以將硬件的安全技術(shù)應(yīng)用到安全的計(jì)算機(jī)系統(tǒng)。l 信任鏈技術(shù)可以用來(lái)嘗試確保所有加載的軟件都已經(jīng)被真實(shí)的系統(tǒng)設(shè)計(jì)師證明。l 獲得授權(quán)限制進(jìn)入電腦的用戶群體要通過(guò)使用身份驗(yàn)證系統(tǒng)。這些系統(tǒng)可以保護(hù)整個(gè)計(jì)算機(jī)例如通過(guò)一個(gè)互動(dòng)的登錄屏幕或個(gè)人服務(wù)，如FTP服務(wù)器。有許多方法來(lái)識(shí)別和驗(yàn)證用戶，如密碼，身份證，以及最近的智能卡和生物識(shí)別系統(tǒng)。l 強(qiáng)制訪問(wèn)控制可用于確保當(dāng)特權(quán)撤銷時(shí)優(yōu)先獲得撤回。例如，刪除一個(gè)用戶賬戶也應(yīng)該停止以