动态多级安全系统安全标记的格模型
【摘要】分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的...
文件安全监控技术资料下载专区,收录10,000份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
【摘要】分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的...
本光盘里各版本监控软件是针对不同机型所设计的,请您确认自己所购机型后,选择 对应的程序安装。 1、EAST产品:EA620H(EA620S)、EA630H(EA630S)、EA800全系列、Master全系列、 STX全系列、RT全系列机器...