資料介紹
【摘要】分析了安全標記的概念,給出了安全標記的形式化定義,并建立了動態多級安全標記的格模型理論。格模型理論回答了動態多級安全系統的安全標記集合在數學上應形成格,解決了兩安全標記比較時上、下確界的存在性問題,為多級安全性從靜態安全政策,通過該策略的歷史敏感性特征轉化為動態安全政策奠定了理論基礎。
關 鍵 詞 標記; 動態多級安全; BLP(Bell LaPadula)安全模型; 多安全政策; 格
Conception of secure labels is analyzed, and defined by formalization, subsequently the lattice model theory of labels for dynamic multi-level security is established, which shows that the set of secure labels for dynamic multi-level security comes into being “lattice order” in math, and solves the existence of g.l.b and l.u.b when one secure label compares to other, and establishes the theoretical basis for change from static multi-level security to dynamic multi-level security according to the history sensitivity.
- Arduino安全系統
- 基于蔡氏電路的通信安全系統設計與實現 13次下載
- 家用火災安全系統規則標準下載 13次下載
- 一種可行的分布式存儲系統安全構造方法 21次下載
- Linux必學的系統安全命令 0次下載
- 可編程安全系統、安全總線系統
- UNIX系統安全工具 0次下載
- 無線多功能家庭安全系統
- 基于免疫的防火墻系統安全技術研究
- 網絡信息系統安全評價體系研究
- 基于Web的信息系統安全風險評估工具的設計
- 基于標準的系統安全測試指標體系的研究
- 基于PMI的工作流管理系統安全模型
- 網絡系統安全 0次下載
- 防火墻多級安全參考模型的設計與實現
- 安全管理電路提供全方位監測,確保系統的安全性 469次閱讀
- 安全管理器提供多方面的監控,以確保系統安全 484次閱讀
- DIY一個電子卡鎖安全系統 1953次閱讀
- 分享一個不錯的安全系統報警電路圖 2958次閱讀
- 如何利用MFRC522制作RFID讀卡安全系統 2867次閱讀
- 汽車安全氣囊的技術特點及應用開發設計 5520次閱讀
- 閑談系統安全:主機系統相關問題 2101次閱讀
- 設計一個家庭安全控制系統的詳細資料概述 5932次閱讀
- 工業控制系統的本體安全該如何理解 2338次閱讀
- windows10操作系統安全模式的使用技巧 1055次閱讀
- 工控系統的安全現狀和存在的問題及思想和形式說明 8127次閱讀
- 一種基于FAHP和攻擊樹的信息系統安全評估方法 4028次閱讀
- Hybrid油電混合車的動力、低耗能、主被動安全系統解析 5871次閱讀
- 意法半導體安全系統與底盤解決方案 1158次閱讀
- 汽車安全系統技術架構分析 1065次閱讀
下載排行
本周
- 1明緯S-50-24開關電源電路圖.pdf
- 0.10 MB | 3次下載 | 5 積分
- 2如何正確測試電源的紋波
- 0.36 MB | 2次下載 | 免費
- 3Modbus測試工具
- 0.72 MB | 1次下載 | 2 積分
- 4550W充電機原理圖
- 0.13 MB | 1次下載 | 6 積分
- 5TPA3132D2EVM音頻放大器評估模塊
- 4.93MB | 次下載 | 免費
- 6THS4532 EVM評估模塊用戶指南
- 553.66KB | 次下載 | 免費
- 7LM36011EVM用戶指南
- 3.61MB | 次下載 | 免費
- 8一文看懂電感、磁珠和零歐電阻的區別
- 0.02 MB | 次下載 | 免費
本月
- 1使用單片機實現七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 2美的電磁爐維修手冊大全
- 1.56 MB | 22次下載 | 5 積分
- 33314A函數發生器維修手冊
- 16.30 MB | 13次下載 | 免費
- 4使用TL431設計電源
- 0.67 MB | 8次下載 | 免費
- 5感應筆電路圖
- 0.06 MB | 8次下載 | 免費
- 6LZC3106G高性能諧振控制器中文手冊
- 1.29 MB | 7次下載 | 1 積分
- 7SMD LED選型手冊 貼片燈珠
- 5.47 MB | 5次下載 | 免費
- 8萬用表UT58A原理圖
- 0.09 MB | 4次下載 | 5 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935119次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233084次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73807次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65987次下載 | 10 積分
評論
查看更多