与过去一样,该技术计划已在学者和实践者中得到了广泛的国际参与。它包括15场会议,包括主题演讲,行业报告和两个小组。我们收到了79篇论文,并选择了19篇常规论文和9篇短论文。主题从访问控制到信任管理再到隐私。 p>
SACMAT 2007的所有论文均由该领域的专家进行了审查。每篇论文至少由三名审稿人审阅,许多论文有四篇审稿。此外,在选择专题讨论会时进行了广泛的电子讨论。我们衷心感谢计划委员会所有成员在评估和选择高质量论文方面所做的努力。我们还要特别感谢SACMAT 2007指导委员会对本次研讨会的热情支持和鼓励。
机译:SELinux MLS策略的逻辑规范和分析
机译:建立SELinux系统中安全策略规范和验证的正式模型
机译:Selinux政策的一致性分析和流动安全执行
机译:Selinux MLS政策的逻辑规范和分析
机译:探索实验室环境中的回归敏感性:基于办公自动化实施(组织分析)组织动态模型的综合数据实验和回归模型错误说明的分析
机译:秀丽隐杆线虫T-Box因子MLS-1需要Groucho协同阻遏物相互作用才能达到子宫肌肉的规格
机译:sELinux mLs策略的逻辑规范与分析
机译:aIL在国家mLs开发计划的技术分析和合同定义阶段提出的微波着陆系统(mLs)发展计划。第3.0部分体积3.2附录a.系统技术摘要。附录B.功能要求摘要。附录C.详细的可行性硬件规格。