1、编程与显式安全策略：构建可信计算系统的新路径

编程与显式安全策略：构建可信计算系统的新路径

在当今数字化时代，复杂的计算系统已经深入到人类活动的各个领域，其安全性和可靠性变得至关重要。然而，当前软件开发的标准实践在保障系统的安全性和可靠性方面存在诸多不足。本文将探讨如何通过显式安全策略来构建可信的计算系统。

1. ETAPS 2005 会议概况

ETAPS 2005 是欧洲软件理论与实践联合会议的第八届会议。该会议于 1998 年成立，是一个年度联合会议，由多个现有和新的会议合并而成。今年的会议包括五个主要会议（CC、ESOP、FASE、FOSSACS、TACAS）、17 个卫星研讨会、七个特邀讲座和多个教程。会议共收到超过 550 份投稿，每个会议的接受率均低于 30%。

ETAPS 会议涵盖了系统开发过程的各个方面，包括规范、设计、实现、分析和改进。其涉及的语言、方法和工具都在其范围之内，体现了理论与实践的不同融合，既倾向于具有实际动机的理论，也注重基于可靠理论的实践。

会议由爱丁堡大学信息学院组织，与欧洲理论计算机科学协会（EATCS）、欧洲编程语言与系统协会（EAPLS）和欧洲软件科学与技术协会（EASST）合作举办。组织团队包括主席 Don Sannella、宣传负责人 David Aspinall 等多个角色。

ETAPS 会议的总体规划由其指导委员会负责，当前成员包括来自世界各地的众多专家。

2. ESOP 2005 会议及论文情况

ESOP 2005 是第 14 届欧洲编程研讨会，于 2005 年 4 月 6 - 8 日在英国爱丁堡举行。该系列会议始于 1986 年，旨在弥合理论与实践之间的差距，致力于解释编程语言和系统的规范