BLP(Bell 相关硕士博士期刊学术论文

分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论.格模型理论回答了动态多级安全系统的......