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·斯特伦克 , 肖恩·特拉维斯 :
支持高后果系统开发中关键领域知识交流的工具。 317-330
关键基础设施的可靠性
乔治·安吉利斯 , 斯特凡诺斯·格里泽利斯 , 科斯塔斯·兰布卢达基斯 :
网格计算环境中的安全策略配置问题。 331-341 桑德罗·博洛尼亚 , 克劳迪奥·巴杜塞利 , 乔瓦尼·迪波帕 , 佐丹诺·维科利 :
大型复杂关键基础设施的可靠性和生存性。 342-353
危险与安全分析
阿尔贝托·帕斯奎尼 , 西蒙·波齐 :
实验空中交通安全评估管理程序。 354-367 克里斯·约翰逊 :
因果分析技术在计算机相关事故中的应用。 368-381 沙穆斯·史密斯 , 迈克尔·哈里森 :
危险分析中的再利用:识别和支持。 382-395