机译:SELinux MLS策略的逻辑规范和分析
St. Vincent College, LaTrobe, PA 15650;
rnSystems and Internet Infrastructure Security Laboratory, The Pennsylvania State University, University Park, PA 16802;
rnSystems and Internet Infrastructure Security Laboratory, The Pennsylvania State University, University Park, PA 16802;
rnSystems and Internet Infrastructure Security Laboratory, The Pennsylvania State University, University Park, PA 16802;
rnSystems and Internet Infrastructure Security Laboratory, The Pennsylvania State University, University Park, PA 16802;
SELinux; multilevel security; policy compliance; policy analysis;
机译:建立SELinux系统中安全策略规范和验证的正式模型
机译:Selinux政策的一致性分析和流动安全执行
机译:SELinux基于可视化的策略分析:框架和用户研究
机译:SELinux MLS策略的逻辑规范和分析
机译:探索实验室环境中的回归敏感性:基于办公自动化实施(组织分析)组织动态模型的综合数据实验和回归模型错误说明的分析
机译:秀丽隐杆线虫T-Box因子MLS-1需要Groucho协同阻遏物相互作用才能达到子宫肌肉的规格
机译:sELinux mLs策略的逻辑规范与分析
机译:aIL在国家mLs开发计划的技术分析和合同定义阶段提出的微波着陆系统(mLs)发展计划。第3.0部分体积3.2附录a.系统技术摘要。附录B.功能要求摘要。附录C.详细的可行性硬件规格。