动态多级安全系统安全标记的格模型 - 免费下载
技术资料资源
文件大小:223 K
💡 温馨提示:本资源由用户 13692533910 上传分享,仅供学习交流使用。如有侵权,请联系我们删除。
【摘要】分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的