資料介紹
【摘要】分析了安全標記的概念,給出了安全標記的形式化定義,并建立了動態(tài)多級安全標記的格模型理論。格模型理論回答了動態(tài)多級安全系統(tǒng)的安全標記集合在數(shù)學上應形成格,解決了兩安全標記比較時上、下確界的存在性問題,為多級安全性從靜態(tài)安全政策,通過該策略的歷史敏感性特征轉化為動態(tài)安全政策奠定了理論基礎。
關 鍵 詞 標記; 動態(tài)多級安全; 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 “l(fā)attice 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安全系統(tǒng)
- 基于蔡氏電路的通信安全系統(tǒng)設計與實現(xiàn) 13次下載
- 家用火災安全系統(tǒng)規(guī)則標準下載 13次下載
- 一種可行的分布式存儲系統(tǒng)安全構造方法 21次下載
- Linux必學的系統(tǒng)安全命令 0次下載
- 可編程安全系統(tǒng)、安全總線系統(tǒng)
- UNIX系統(tǒng)安全工具 0次下載
- 無線多功能家庭安全系統(tǒng)
- 基于免疫的防火墻系統(tǒng)安全技術研究
- 網(wǎng)絡信息系統(tǒng)安全評價體系研究
- 基于Web的信息系統(tǒng)安全風險評估工具的設計
- 基于標準的系統(tǒng)安全測試指標體系的研究
- 基于PMI的工作流管理系統(tǒng)安全模型
- 網(wǎng)絡系統(tǒng)安全 0次下載
- 防火墻多級安全參考模型的設計與實現(xiàn)
- 安全管理電路提供全方位監(jiān)測,確保系統(tǒng)的安全性 561次閱讀
- 安全管理器提供多方面的監(jiān)控,以確保系統(tǒng)安全 576次閱讀
- DIY一個電子卡鎖安全系統(tǒng) 2128次閱讀
- 分享一個不錯的安全系統(tǒng)報警電路圖 3334次閱讀
- 如何利用MFRC522制作RFID讀卡安全系統(tǒng) 3112次閱讀
- 汽車安全氣囊的技術特點及應用開發(fā)設計 5848次閱讀
- 閑談系統(tǒng)安全:主機系統(tǒng)相關問題 2191次閱讀
- 設計一個家庭安全控制系統(tǒng)的詳細資料概述 6019次閱讀
- 工業(yè)控制系統(tǒng)的本體安全該如何理解 2457次閱讀
- windows10操作系統(tǒng)安全模式的使用技巧 1297次閱讀
- 工控系統(tǒng)的安全現(xiàn)狀和存在的問題及思想和形式說明 8335次閱讀
- 一種基于FAHP和攻擊樹的信息系統(tǒng)安全評估方法 4156次閱讀
- Hybrid油電混合車的動力、低耗能、主被動安全系統(tǒng)解析 6023次閱讀
- 意法半導體安全系統(tǒng)與底盤解決方案 1256次閱讀
- 汽車安全系統(tǒng)技術架構分析 1124次閱讀
下載排行
本周
- 1貼片三極管上的印字與真實名稱的對照表詳細說明
- 0.50 MB | 87次下載 | 1 積分
- 2802.11_Wireless_Networks
- 4.17 MB | 12次下載 | 免費
- 33D AD庫文件
- 16.96 MB | 2次下載 | 免費
- 4BDR6121G直流電機驅動芯片中文手冊
- 0.54 MB | 1次下載 | 免費
- 5ANT8817 1%3.5W/3.7V,同步自適應升壓,超長續(xù)航,H類防破音單聲道音頻功放中文手冊
- 1.11 MB | 1次下載 | 免費
- 610K-100K B3950-B3435NTC熱敏電阻快速查詢對照表
- 0.10 MB | 1次下載 | 1 積分
- 7ANT8825S內置同步升壓,防破音,AB/D類雙模立體聲音頻功放中文手冊
- 1.29 MB | 次下載 | 免費
- 8ANT3270 2×75W/2×38W+75W,免電感,低EMI,D類音頻功率放大器中文手冊
- 1.33 MB | 次下載 | 免費
本月
- 1AI智能眼鏡產(chǎn)業(yè)鏈分析
- 4.43 MB | 311次下載 | 免費
- 2蘇泊爾電磁爐線路的電路原理圖資料合集
- 2.02 MB | 286次下載 | 5 積分
- 3長虹液晶電視R-HS310B-5HF01的電源板電路原理圖
- 0.46 MB | 87次下載 | 5 積分
- 4貼片三極管上的印字與真實名稱的對照表詳細說明
- 0.50 MB | 87次下載 | 1 積分
- 5U盤一鍵制作
- 23.84 MB | 41次下載 | 免費
- 6AO4803A雙P通道增強型場效應晶體管的數(shù)據(jù)手冊
- 0.11 MB | 28次下載 | 2 積分
- 7長虹液晶彩電LS29機芯的技術資料說明
- 3.42 MB | 16次下載 | 2 積分
- 8802.11_Wireless_Networks
- 4.17 MB | 12次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191387次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81586次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
評論