动态多级安全系统安全标记的格模型 |
| |
引用本文: | 谭良,罗讯,周明天. 动态多级安全系统安全标记的格模型[J]. 电子科技大学学报(自然科学版), 2004, 33(4): 442-445 |
| |
作者姓名: | 谭良 罗讯 周明天 |
| |
作者单位: | 四川师范大学电子工程学院,成都,610066;电子科技大学计算机科学与工程学院,成都,610054 |
| |
基金项目: | 国家高技术研究发展计划(863计划) |
| |
摘 要: | 分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的存在性问题,为多级安全性从静态安全政策,通过该策略的历史敏感性特征转化为动态安全政策奠定了理论基础。
|
关 键 词: | 标记 动态多级安全 BLP(Bell LaPadula)安全模型 多安全政策 格 |
收稿时间: | 2003-02-20 |
Lattice Model of Secure Labels for Dynamic Multi-Level Security System |
| |
Affiliation: | 1.School of Computer Science and Engineering,UEST of China Chengdu 610054;2.College of Electronic Engineering,Sichuan Normal University Chengdu 610066 |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 维普 万方数据 等数据库收录! |
| 点击此处可从《电子科技大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《电子科技大学学报(自然科学版)》下载全文 |
|