动态多级安全系统安全标记的格模型  

Lattice Model of Secure Labels for Dynamic Multi-Level Security System

作　　者：谭良[1] 罗讯[2] 周明天[2] 

机构地区：[1]四川师范大学电子工程学院,成都610066 [2]电子科技大学计算机科学与工程学院,成都610054

出　　处：《电子科技大学学报》2004年第4期442-445,共4页Journal of University of Electronic Science and Technology of China

基　　金：国家863计划资助项目(863-104-03-01)

摘　　要：分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的存在性问题,为多级安全性从静态安全政策,通过该策略的历史敏感性特征转化为动态安全政策奠定了理论基础。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.

关 键 词：标记 动态多级安全 BLP(Bell LaPadula)安全模型 多安全政策 格 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]