资料介绍
【摘要】分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的存在性问题,为多级安全性从静态安全政策,通过该策略的历史敏感性特征转化为动态安全政策奠定了理论基础。
关 键 词 标记; 动态多级安全; 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 “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.
- Arduino安全系统
- 基于蔡氏电路的通信安全系统设计与实现 13次下载
- 家用火灾安全系统规则标准下载 13次下载
- 一种可行的分布式存储系统安全构造方法 21次下载
- Linux必学的系统安全命令 0次下载
- 可编程安全系统、安全总线系统
- UNIX系统安全工具 0次下载
- 无线多功能家庭安全系统
- 基于免疫的防火墙系统安全技术研究
- 网络信息系统安全评价体系研究
- 基于Web的信息系统安全风险评估工具的设计
- 基于标准的系统安全测试指标体系的研究
- 基于PMI的工作流管理系统安全模型
- 网络系统安全 0次下载
- 防火墙多级安全参考模型的设计与实现
- 安全管理电路提供全方位监测,确保系统的安全性 469次阅读
- 安全管理器提供多方面的监控,以确保系统安全 484次阅读
- DIY一个电子卡锁安全系统 1953次阅读
- 分享一个不错的安全系统报警电路图 2958次阅读
- 如何利用MFRC522制作RFID读卡安全系统 2867次阅读
- 汽车安全气囊的技术特点及应用开发设计 5520次阅读
- 闲谈系统安全:主机系统相关问题 2101次阅读
- 设计一个家庭安全控制系统的详细资料概述 5932次阅读
- 工业控制系统的本体安全该如何理解 2338次阅读
- windows10操作系统安全模式的使用技巧 1055次阅读
- 工控系统的安全现状和存在的问题及思想和形式说明 8127次阅读
- 一种基于FAHP和攻击树的信息系统安全评估方法 4028次阅读
- Hybrid油电混合车的动力、低耗能、主被动安全系统解析 5871次阅读
- 意法半导体安全系统与底盘解决方案 1158次阅读
- 汽车安全系统技术架构分析 1065次阅读
下载排行
本周
- 1TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 2开关电源基础知识
- 5.73 MB | 11次下载 | 免费
- 3嵌入式linux-聊天程序设计
- 0.60 MB | 3次下载 | 免费
- 4DIY动手组装LED电子显示屏
- 0.98 MB | 3次下载 | 免费
- 5基于FPGA的C8051F单片机开发板设计
- 0.70 MB | 2次下载 | 免费
- 651单片机窗帘控制器仿真程序
- 1.93 MB | 2次下载 | 免费
- 751单片机大棚环境控制器仿真程序
- 1.10 MB | 2次下载 | 免费
- 8基于51单片机的RGB调色灯程序仿真
- 0.86 MB | 2次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33566次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21549次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6656次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537798次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420027次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191186次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183279次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
评论
查看更多