1993年第12届SAFECOMP:波兰波兹南-基克尔茨
雅努斯·哥尔斯基 :
第十二届计算机安全、可靠性和安全国际会议,1993年SAFECOMP,波兰波兹南-基克尔茨,1993年10月27日至29日。 施普林格 1993 ,国际标准图书编号 978-3-540-19838-3 汤姆·安德森 :
安全-状态和观点。 3-6 辛齐娅·伯纳德斯基 , 卢卡·西蒙西尼 , 安德里亚·邦达瓦利 :
数据流控制系统:安全验证示例。 9-20 格伦·布伦斯 , 斯图亚特·安德森 :
使用故障树验证安全模型。 21-30 刘志明 , 延斯·诺达尔 , 埃尔林·范·瑟伦森 :
概率实时系统的组成和精化。 31-40 保罗·科林森 , 苏珊·奥佩特 , 史蒂文·休斯 :
形式化方法在实验室信息管理系统二次开发中的应用。 41-49 沃尔夫冈·哈朗 , 约翰·谢普斯特拉 :
PLC-紧急关闭系统的实施。 53-62 乔亚奇诺·穆通 , 马丁·罗斯菲尔德 :
实时列车控制应用安全计算机的快速经济设计和并发认证。 63-72 哈维·罗德 , 维托里奥·马诺尼 , 詹姆斯·霍尔舍尔 :
求解布尔方程的故障保护算法的设计与分析。 73-82 梅恩·乔楚姆·彼得·范德梅伦 , 托尔斯特哈内 , B.科尔 :
安全关键应用中的可编程电子系统分析技术。 85-90 C.J.戈林 :
安全评估-关键系统供应商视图。 91-98 莫里斯·查德莱 :
使用HAZOP进行危险分析:案例研究。 99-108 S.S.Dhanjal公司 , R.芬克 :
临床实验室系统的安全性分析。 111-122 莫里斯·查德莱 , J.N.克莱尔 :
SUSI的优点:用户-系统交互的安全分析。 123-132 费利克斯·雷德米尔 :
影响技术转让和社区俱乐部体验的问题。 135-141 Jean-Pierre Banátre女士 :
Inria的子公司和初创分拆公司。 142-144 沃伊切赫酒窖 :
技术转让中的人类媒介。 145-146 鲍勃·马尔科姆 :
技术转让——从目的到实践。 147-153 Jean-Claude Laprie女士 :
可靠性:从概念到极限。 157-168 N.J.沃德 :
Sizewell“B”主保护系统软件的严格回顾性静态分析。 171-181 伯恩哈德·斯塔姆 , 雷内·鲍曼 , 马丁·昆迪格·赫尔佐格 :
铁路应用中的安全关键计算机系统。 182-193 杰弗里·沃斯 , 克里斯托夫·C·迈克尔 , 基思·W·米勒 :
自信地评估软件故障的零概率。 197-206 伊戈尔·加尔金 :
基于知识的程序测试和分析方法。 207-216 艾默·赛义德 , 罗杰里奥·德莱莫斯 , 汤姆·安德森 :
安全关键系统的稳健需求规范。 219-229 穆罕默德·卡亚利基 , 卡拉马·卡农 :
交换系统连续两代的软件故障数据分析。 230-239 约翰内斯·雷纳 :
使用CASE-TOOLS进行软件验证。 240-249 沃尔特·库恩 , 埃尔文·肖奇 :
可扩展分布式系统的可靠性:冗余过程的通信策略。 253-264 鲁道夫·E·塞维奥拉 :
无功系统故障的实时检测。 265-275 亨利克·克劳茨克 , 萨利赫·阿勒卡拉维 :
层次投票方案的可靠性和安全性分析。 276-285 G.森 , J.布鲁默 :
为安全系统设计高级语言。 289-301 皮埃尔·莫里纳罗 , 奥利维尔·H·鲁 :
Oreste:一种可靠的反应式实时语言。 302-310 卡尔·E·兰德维尔 :
你能信任电脑多久? 313-325 卢多维奇·梅 :
使用遗传算法的安全审计跟踪分析。 329-340 莱因哈德·波什 :
MRSA——一种新的公钥加密方法。 341-348 马丁·威特 , 沃尔夫冈·哈朗 :
防病毒网络接口。 349-357 雨果·菲尔茨 , 汉斯鲁迪·米勒 , 斯皮洛斯·内托斯 :
CIP——通信交互过程——反应系统开发的一种形式化方法。 361-370 马贾兹·科尔纳里克 , 沃尔夫冈·哈朗 :
硬实时系统中的异常处理和可预测性。 371-378 M.B.Schrönen先生 , 迈克尔·英格斯 :
开发用于生命周期关键应用的故障安全数据传输系统。 379-388
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)