操作系統(tǒng)安全測評ppt課件-展示頁
2025-01-27 08:18本頁面
【正文】 有如下幾種不同的方法。 計算機科學與工程系 3. 非形式化確認 確認是比驗證更為普遍的術語。但是證明整個安全操作系統(tǒng)正確性的工作量是巨大的。在形式化驗證中，安全操作系統(tǒng)被簡化為一個要證明的“定理”。通常通過文檔規(guī)范、系統(tǒng)測試、形式化驗證等安全保證來說明。 (1) 安全功能 : 系統(tǒng)具有哪些安全功能。入侵測試在確定錯誤存在方面是非常有用的。 操作系統(tǒng)在某一次入侵測試中失效，則說明它內部有錯。 評測操作系統(tǒng)安全性的技術有三種： ? 入侵測試 ? 形式化驗證 ? 非形式化確認 計算機科學與工程系 1. 入侵測試 在這種方法中， “老虎”小組成員 試圖“摧毀”正在測試中的安全操作系統(tǒng)。 計算機科學與工程系 評測技術 我們說一個操作系統(tǒng)是安全的 ， 是指它滿足某一給定的安全策略 。 計算機科學與工程系 操作系統(tǒng)安全性評測 （ 4）需求 4：審計 系統(tǒng)對影響安全的事件必須維持完全和安全的記錄 （ 5）需求 5：保證 系統(tǒng)必須包含某些硬件和軟件的安全機制，以便保證以上四項基本要求被正確實施。 計算機科學與工程系 操作系統(tǒng)安全性評測 （ 1）需求 1：安全策略 必須有一個明確的、確定的和良好定義的由系統(tǒng)實施的安全策略。 4 系統(tǒng)設置錯誤 ? 文件系統(tǒng)常常被設置成沒有安全性，由于設置不正確導致存在潛在的安全漏洞。掃描軟件可以檢查操作系統(tǒng)中是否存在這種應用程序。 計算機科學與工程系 操作系統(tǒng)漏洞掃描四個方面 1 關鍵系統(tǒng)文件完整性的威脅 ? 掃描軟件可以檢查關鍵系統(tǒng)文件是否在非授權的情況下被修改，這種檢查提供了檢測漏洞的一種手段。它從操作系統(tǒng)的角度評估單機的安全環(huán)境并生成所發(fā)現(xiàn)的安全漏洞的詳細報告。 計算機科學與工程系 引言 計算機科學與工程系 操作系統(tǒng)漏洞掃描與安全評測 操作系統(tǒng)安全漏洞掃描的主要目的是： 自動評估由于操作系統(tǒng)的固有缺陷或配置方式不當所導致的安全漏洞 。操作系統(tǒng)安全 第九章 操作系統(tǒng)安全測評 計算機科學與工程系 引言 安全功能作為安全操作系統(tǒng)所應提供的一個重要功能組成部分，業(yè)界對于它和其他功能的要求是不同的。安全操作系統(tǒng)的一個 安全漏洞 ，可能致使整個系統(tǒng)所有的安全控制變得毫無價值，并且一旦這個漏洞如果被蓄意入侵者發(fā)現(xiàn)，就會產生巨大危害，所以要求能及時發(fā)現(xiàn)這些安全漏洞并且對這些漏洞作出響應。 掃描軟件在每臺機器上運行，通過一系列測試手段來探查每一臺機器，發(fā)現(xiàn)潛在的安全缺陷。我們可以使用掃描軟件對安全策略和實際實施進行比較，并給出建議采取相應措施來堵塞安全漏洞。 2 木馬程序 ? 黑客入侵電腦后經常會在系統(tǒng)文件中內嵌木馬程序，這種程序潛伏在電腦中，受外部用戶控制以竊取本機信息，占用系統(tǒng)資源，降低電腦效能，給計算機的安全構成很大威脅。 計算機科學與工程系 操作系統(tǒng)漏洞掃描四個方面 3 可疑文件 ? 黑客入侵電腦后會留下蹤跡，掃描軟件能夠檢測到這些蹤跡。掃描軟件能夠檢查系統(tǒng)設置是否正確，檢測安全漏洞。 （ 2）需求 2：識別 系統(tǒng)必須唯一可靠的識別每一個主體 （ 3）需求 3：標記 為指明每一個客體的安全級別，系統(tǒng)按照強制存取控制規(guī)則，必須給每一個客體加一個標簽。 （ 6）需求 6：連續(xù)保護 實現(xiàn)這些基本需求的安全性機制必須受到連續(xù)保護以防止篡改和未經批準的改變。 一個操作系統(tǒng)的安全性是與設計密切相關的 ， 只有有效保證從設計者到用戶都相信 設計準確地表達了模型 ， 而代碼準確地表達了設計 時 ， 該操作系統(tǒng)才可以說是安全的 ， 這也是安全操作系統(tǒng)評測的主要內容 ?！袄匣ⅰ毙〗M成員應當掌握操作系統(tǒng)典型的安全漏洞，并試圖發(fā)現(xiàn)并利用系統(tǒng)中的這些安全缺陷。相反地，操作系統(tǒng)在某一次入侵測試中不失效，并不能保證系統(tǒng)中沒有任何錯誤。 一般來說，評價一個計算機系統(tǒng)安全性能的高低，應從如下兩個方面進行。 (2) 可信性 : 安全功能在系統(tǒng)中得以實現(xiàn)的可被信任的程度。 計算機科學與工程系 2.
試題試卷相關推薦
鄂ICP備17016276號-1