论文部分内容阅读
分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论.格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的存在性问题,为多级安全性从静态安全政策,通过该策略的历史敏感性特征转化为动态安全政策奠定了理论基础.
动态多级安全系统安全标记的格模型
【摘 要】
：
分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论.格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全
【机 构】
：
四川师范大学电子工程学院,电子科技大学计算机科学与工程学院
【出 处】
：
电子科技大学学报
【发表日期】
：
2004年4期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
对IPSec协议族进行研究,分析了安全联盟、身份认证报头、封装安全负载和因特网密钥交换等协议的结构及其关键技术,并在此基础上提出了一种IPSec的实现方案,可以有效地保障移
介绍了小半径预应力连续弯箱梁桥的受力特点,分析了弯梁桥设计时应考虑和注意的一些实际问题,并提出了解决方法。重点介绍了梁格分析法原理在小半径预应力连续弯箱梁桥中的应
目前2台机组以上的大型电厂都基本完成了厂用互联,使用厂用互联供电,可以节省发电厂检修时的厂用电费用。如果机组启动也使用厂用互联供电,可以进一步节省市电费用,对发电厂
文章从环保产业的兴起和发展的背景入手，指出要实现社会的可持续发展与环境保护的协调，有赖于环保产业的发展，为此环保产业必须加速发展，增强自主创新的能力。
通过对内存管理的分析,提出了内存优化算法.该算法解决了通信设备中由于大量消息的发送导致内存管理的问题,建立了用户定义的内存管理区域,设计了新的内存管理队列,根据消息