動態(tài)多級安全系統安全標記的格模型

【摘要】分析了安全標記的概念，給出了安全標記的形式化定義，并建立了動態(tài)多級安全標記的格模型理論。格模型理論回答了動態(tài)多級安全系統的安全標記集合在數學上應形成格，解決了兩安全標記比較時上、下確界的存在性問題，為多級安全性從靜態(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.