与过去一样,该技术计划已在学者和实践者中得到了广泛的国际参与。它包括15场会议,包括主题演讲,行业报告和两个小组。我们收到了79篇论文,并选择了19篇常规论文和9篇短论文。主题从访问控制到信任管理再到隐私。 p>
SACMAT 2007的所有论文均由该领域的专家进行了审查。每篇论文至少由三名审稿人审阅,许多论文有四篇审稿。此外,在选择专题讨论会时进行了广泛的电子讨论。我们衷心感谢计划委员会所有成员在评估和选择高质量论文方面所做的努力。我们还要特别感谢SACMAT 2007指导委员会对本次研讨会的热情支持和鼓励。
机译:分布式系统安全测试生成的一种形式化方法
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:基于形式方法的文档格式模糊安全性测试研究
机译:安全规则互操作性测试的正式方法
机译:形式化水处理试验台安全性的一种方法
机译:对医学俗语和规则的各种例外的发现阐释哲学检验和形式证明
机译:测试安全规则的正式方法
机译:社会保障管理:更正式的方法可以提高ssa开发和管理累计协议的能力