2003年第22届SAFECOMP：英国爱丁堡
斯图亚特·安德森 ， 马西莫·费利奇 ， 贝夫·利特伍德 :
《计算机安全、可靠性和安全》，第22届国际会议，SAFECOMP 2003，英国爱丁堡，2003年9月23日至26日，会议记录。 计算机科学课堂讲稿 2788, 施普林格 2003 ，国际标准图书编号 3-540-20126-2
关键报告
M.托马斯 :
安全保证问题。 1-7
形式化方法
大卫·赖特 :
图形可靠性模型的引出和验证。 8-21 阿斯夫·伊克巴尔 ， A.K.巴塔查吉 ， S.D.Dhodapkar公司 ， S.拉梅什 :
分布式反应系统的可视化建模与验证。 22-34 埃斯特·西安卡梅拉 ， 米歇尔·米尼奇诺 ， S.塞罗 ， 恩里科·特隆西 :
公共移动网络的自动及时性验证。 35-48 马可·波扎诺 ， 阿道夫·维拉菲奥里塔 :
通过模型检查提高系统可靠性：FSAP/NuSMV-SA安全分析平台。 49至62
可靠性设计
彼得·毕晓普 
， 罗宾·布隆菲尔德 ， 蒂姆·克莱门特 ， 索菲亚·格拉 ， 克莱尔琼斯 :
COTS/SOUP的完整性静态分析。 63-76 泽珊·库尔德 ， 蒂姆·凯利 :
开发安全关键人工神经网络的安全生命周期。 77至91 艾特·赫尔米宁 ， U.Pulkkinen公司 :
基于贝叶斯网络的计算机电机保护继电器的定量可靠性评估。 92-102 盖·杜斯伯里 ， 萨默维尔 ， 凯伦·克拉克 ， 马克·朗斯菲尔德 :
国内系统的可靠性模型。 103-115
安全性和形式化方法
约翰内斯·格伦鲍尔 ， 赫利娅·霍尔曼 ， 扬·朱尔扬（Jan Jürjens） ， 吉多·维梅尔 :
分层安全协议的建模和验证：银行应用程序。 116-129 斯特凡诺·比斯塔雷利 ， 西蒙·福利 :
可靠性目标定性分析的约束框架：完整性。 130-143 金红霞 ， 格雷戈里·沙利文 ， 杰拉尔德·马森 :
使用程序证书防止软件篡改。 144-158
关键报告
康斯坦斯·海特迈尔 :
开发高保证系统：关于软件工具的作用。 159-164
可靠性和性能分析
医疗系统的可靠性
雅努斯·哥尔斯基 ， 亚历山大·贾泽博维奇 ， 拉斐尔·莱斯奇纳 ， 雅库布·米勒 ， 马尔金·奥尔谢夫斯基（Marcin Olszewski） :
信托案例开发方法。 193-206 乔·戈尔曼 ， 圣瓦尔德豪格 ， 哈瓦德·科瓦伦 :
无线医疗急救网络中的可靠数据复制。 207-220 安德鲁·雷 ， 丹尼尔·杰克逊博士 ， 普拉萨德·拉马南 ， 杰伊·弗兰兹 ， 迪迪埃·莱曼 :
放射治疗机的关键特征分析。 221-234
容错性
K.Driscoll公司 ， B.大厅 ， 哈坎·西文克罗纳 ， P.祖姆斯特格 :
拜占庭容错，从理论到现实。 235-248 奥利弗·鲁克斯 ， 迈克尔·阿姆布鲁斯特 ， S.Büchli公司 ， 阿明·苏尔兹曼 ， 格诺·斯皮尔伯格 ， Uwe Kiencke公司 :
有线驱动计算机系统的冗余管理。 249-262 塞萨尔·马泰克斯 ， 佩德罗·马汀 ， 弗朗西斯科·哈维尔·罗德里格斯 ， 玛丽亚·曼扎诺 ， 哈维尔·波佐 :
提高铁路环境安全性的容错通信系统。 263-274 Nagarajan Kandasamy公司 ， 约翰·海耶斯 ， 布莱恩·穆雷 :
分布式嵌入式系统的可靠通信综合。 275-288
可靠设计工具
沃尔夫冈·韦伯 ， 海德玛丽·托多克 ， 迈克尔·巴赫迈尔 :
通过故障树增强软件安全：从应用程序到飞行关键软件的经验。 289-302 保罗·马森 ， 艾默·赛义德 ， 史蒂夫·里德尔 :
关于标准符合性可追溯性的作用：跟踪规范要求。 303-316 金伯利·S·沃森 ， 约翰·C·奈特 ， 伊丽莎白·A·斯特伦克 ， 肖恩·R·特拉维斯 :
支持高后果系统开发中关键领域知识交流的工具。 317-330
关键基础设施的可靠性
乔治·安吉利斯 ， 斯特凡诺斯·格里泽利斯 ， 科斯塔斯·兰布卢达基斯 :
网格计算环境中的安全策略配置问题。 331-341 桑德罗·博洛尼亚 ， 克劳迪奥·巴尔杜切利 ， 乔瓦尼·迪波帕 ， 佐丹诺·维科利 :
大型复杂关键基础设施的可靠性和生存性。 342-353
危险和安全分析
阿尔贝托·帕斯奎尼 ， 西蒙·波齐 :
实验空中交通安全评估管理程序。 354-367 克里斯·约翰逊 :
计算机相关灾难因果分析技术的应用。 368-381 沙穆斯·史密斯 ， 迈克尔·哈里森 :
危险分析中的再利用：识别和支持。 382-395年
可靠性设计
