与过去一样,该技术计划已在学者和实践者中得到了广泛的国际参与。它包括15场会议,包括主题演讲,行业报告和两个小组。我们收到了79篇论文,并选择了19篇常规论文和9篇短论文。主题从访问控制到信任管理再到隐私。 p>
SACMAT 2007的所有论文均由该领域的专家进行了审查。每篇论文至少由三名审稿人审阅,许多论文有四篇审稿。此外,在选择专题讨论会时进行了广泛的电子讨论。我们衷心感谢计划委员会所有成员在评估和选择高质量论文方面所做的努力。我们还要特别感谢SACMAT 2007指导委员会对本次研讨会的热情支持和鼓励。
机译:RBAC系统的正式邻近模型
机译:DW-RBAC:工作流系统中委派和吊销的正式安全模型
机译:构建控制相关状态的闭合状态解决方案,用于具有一个非共享资源的千阶系统的不足的K-Th订单系统的实时信息,以实现Petri网的动态建模大型TNCS系统
机译:实现实际系统中的正式RBAC模型
机译:基于抽象数据类型模型扩展的实时系统的正式规范
机译:支持SVM的智能遗传算法模型可通过超声传感系统在乳腺囊肿图像中实现高效的通用特征选择
机译:在实际系统中实现正式RBaC模型
机译:飞机可用性的理论模型:在实现模型开发中识别趋势,季节性和系统约束的经典方法