【摘要】分析了安全標(biāo)記的概念，給出了安全標(biāo)記的形式化定義，并建立了動(dòng)態(tài)多級(jí)安全標(biāo)記的格模型理論。格模型理論回答了動(dòng)態(tài)多級(jí)安全系統(tǒng)的安全標(biāo)記集合在數(shù)學(xué)上應(yīng)形成格，解決了兩安全標(biāo)記比較時(shí)上、下確界的存在性問題，為多級(jí)安全性從靜態(tài)安全政策，通過該策略的歷史敏感性特征轉(zhuǎn)化為動(dòng)態(tài)安全政策奠定了理論基礎(chǔ)。
關(guān) 鍵 詞 標(biāo)記; 動(dòng)態(tài)多級(jí)安全; 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.