动态多级安全系统安全标记的格模型
【摘要】分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的
安全管控技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
【摘要】分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的
资料->【B】电子技术->【B2】电路设计->【1】电路设计->【_电路设计综合】->PCB安全距离及其相关安全要求 5页.pdf
· 摘要: 采用DSP TMS320C6711和ARM920T,设计并实现了支持H.264加密的安全视频监控系统.提出了一种将高级加密标准AES与H.264相结合的安全视频加密系统设计方案,并在ARM-Linux嵌入式...
本文首先阐述了采用双CPU 控制引信安全系统的重大意义,并从硬件和软件两个方面说明了在设计过程中应遵循的原则。文章给出了单片机系统中常用的三种双CPU 连接形式,在此基础上以某型多功能引信为工程背景,
系统论述了煤矿安全生产计算机监控技术的发展,介绍了KJ66系统的原理和作用,在煤矿生产中既要了解煤矿安全、生产过程,又要掌握安全、生产、调度和管理等各方面的信息,以便能够及时准确可靠的指挥安全与生产,
· 摘要: 采用DSP TMS320C6711和ARM920T,设计并实现了支持H.264加密的安全视频监控系统.提出了一种将高级加密标准AES与H.264相结合的安全视频加密系统设计方案,并在ARM-Linux嵌入式...
在云计算中,对大规模的资源提供一种安全有效的访问是其一个很重要的组成部分。在传统的分布式访问控制模型中,服务请求者将主体属性或能力等披露给提供资源者,访问控制决策完全取决于以资源请求者能力和安全策略为输入的一致性证明。但是,这些主体属性与能...