信息安全模型ppt課件(留存版)

　　

【正文】 eserved 169。 2022 RBAC模型－ 優勢 便于授權管理 便于角色劃分 便于賦予最小特權 便于職責分擔 便于目標分級 26 All rights reserved 169。 2022 ClarkWilson規則目標 完整性 完整性用于保證 CDI只能按受約束的方式被修改并產生有效的 CDI 。 2022 BIBA模型的缺點 定義的完整性是一個相對的，而不是絕對的度量。可應用于對資源的各種不同類型的訪問（例如，使用通信資源，讀、寫或刪除信息資源，處理資源的操作），或應用于對某種資源的所有訪問 數據機密性： ? 對數據提供保護使之不被非授權地泄露 數據完整性： ? 對付主動威脅。 2022 Clark－ wilson 模型的 NT解釋 C1: 系統中僅有 IVP 對 CDI的完整性進行驗證 In Windows NT there is a local security authority (LSA) which checks the security information in the subject39。 公證機制 ： ? 有關在兩個或多個實體之間通信的數據的性質，如它的完整性、原發、時間和目的地等能夠借助公證機制而得到確保。 2022 1信息系統多維安全模型 安全服務 抗抵賴 可鑒別 機密性 完整性 可用性 信息狀態 安全措施 處理 存儲 傳輸 技術 人員 運行 49 All rights reserved 169。(s) = min {il(s), il(o)} 這里 il‘(s) 緊隨訪問之后的完整性級別 OoSs ???? ,Sss ?? 21 , 41 All rights reserved 169。 ? 系統記錄所有轉換過程，并提供對數據改變的審計跟蹤 34 All rights reserved 169。 2022 RBAC模型－ RBAC0 22 All rights reserved 169。 CW模型由 Brewer和 Nash發布，經常被用于金融機構的信息處理系統，為市場分析家提供更好的服務。但 BLP在集合 S和 O中不改變狀態 ? 與 HRU相比，多了安全級別、包含請求集合的變遷函數。 類似的 ， 這類表面上執行某功能 （ 如提供文本編輯功能 ） ， 而私下隱藏執行另外的功能 （ 如擴散被編輯文件的讀權限 ） 的程序稱為特洛伊 木馬程序 。 2022 一些主要的模型 機密性 訪問控制 信息流 DAC自主 MAC強制 完整性 RBAC BLP Chinese Wall （非干擾性，非觀察性） Biba ClarkWilson 系統安全保障模型： PDR、 PPDR、 OSI 基本模型： HRU 5 All rights reserved 169。 6 All rights reserved 169。 4）與 DAC相比：強耦合，集中式授權。 2022 MAC多級安全模型－ BLP(4) 定理 ： 系統 (v0 ,R ,T )是安全的 充分必要條件 是 其中 ， T為轉移函數 ， 是指由初始狀態 v0通過執行一系列有限的系統請求R到達可達狀態 v。 2022 Chinese wall安全屬性 訪問客體的控制： ? 與主體曾經訪問過的信息屬于同一公司數據集合的信息，即墻內信息可以訪問。 2022 信息流模型 ? 隱通道： 訪問控制模型通過對訪問主體與訪問客體的控制實施安全策略，但惡意的用戶仍然可能利用系統的副作用（邊際效應）形成從高安全級別到低安全級別的 通道。規則 C C C E1和 E4 實現完整性目標 訪問控制 實現資源的訪問的控制機制，規則 C E2和 E3實現訪問控制目標。 沒有使用明確的屬性來判斷系統是否具有完整性 沒有明確的信息分級標準 43 All rights reserved 169。在一次連接上，連接開始時使用對某實體鑒別服務，并在連接的存活期使用數據完整性服務就能聯合起來為在此連接上傳送的所有數據單元的來源提供確證，為這些數據單元的完整性提供確證。s access token with the security information in the object39。在檢測到持續的操作攻擊時，端系統可希望指示網絡服務的提供者經不同的路由建立連接。 2022 IATF保護對象和技術 網絡和基礎設施的防御 ? 骨干網可用性 ? 無線網安全框架 ? VPN和緊耦合連接 邊界防御 ? 網絡訪問控制 ? 遠程訪問 ? 多級別安全 計算環境防御 ? 端用戶環境 ? 應用系統安全 支撐性基礎設施 ? KMI/PKI ? 監視和響應 48 All rights reserved 169。 s m o == il(o) leq il(s) ? SMO:可修改關系、 leq：偏序關系 s1 i s2 == il(s2) leq il(s1) ? il：完整性函數 如果主體 s訪問客體 o，那么 il39。 2022 完整性模型－ ClarkWilson 訪問控制方法 ? 定義可以針對每一個數據完成的訪問操作 ? 定義可以由主體完成的訪問操作 保護方法 ? 完整性確認：確認數據處于一種有效的狀態 ? 轉換過程：將數據從一種有效狀態轉變到另一種有效狀態 ? 如果只有一個轉換過程就能改變數據，則數據是完整的。 2022 RBAC模型－層次 基本模型 RBAC0 角色分級模型 RBAC1 角色限制模型 RBAC2 統一模型 RBAC3 RBAC3 RBAC1 RBAC2 RBAC0 21 All rights reserved 169。 CW（ Chinese Wall）模型就屬于一種 多邊安全模型 。 ? 類似于 HRU模型， BLP模型的組成元素包括訪問主體、訪問客體、訪問權限和訪問控制矩陣。 例如 ， 用戶甲 接受了執行另一個 用戶乙的程序 的權利 ，用戶甲可能不知道執行程序將用戶甲擁有的與用戶乙完全不相關的 訪問權限轉移給用戶乙 。 2022 模型抽象過程 1） : 標識外部接口需求 External Interface.(input,output,attribute.) 2） : 標識內部需求 Internal Require