电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
【摘要】分析了安全标记的概念，给出了安全标记的形式化定义，并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格，解决了两安全标记比较时上、下确界的存在性问题，为多级安全性从静态安全政策，通过该策略的历史敏感性特征转化为动态安全政策奠定了理论基础。
关 键 词 标记; 动态多级安全; 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次下载
- 防火墙多级安全参考模型的设计与实现
- Linux系统安全防护措施 738次阅读
- 接地电阻柜是电力系统安全运行的重要保障 791次阅读
- 安全管理器提供多方面的监控，以确保系统安全 1.1k次阅读
- DIY一个电子卡锁安全系统 2.9k次阅读
- 分享一个不错的安全系统报警电路图 4.2k次阅读
- 如何利用MFRC522制作RFID读卡安全系统 4k次阅读
- 汽车安全气囊的技术特点及应用开发设计 6.8k次阅读
- 闲谈系统安全：主机系统相关问题 2.5k次阅读
- 设计一个家庭安全控制系统的详细资料概述 6.5k次阅读
- 工业控制系统的本体安全该如何理解 2.8k次阅读
- windows10操作系统安全模式的使用技巧 1.8k次阅读
- 工控系统的安全现状和存在的问题及思想和形式说明 8.9k次阅读
- 一种基于FAHP和攻击树的信息系统安全评估方法 4.8k次阅读
- Hybrid油电混合车的动力、低耗能、主被动安全系统解析 8.8k次阅读
- 汽车安全系统技术架构分析 1.4k次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论