首页>外文会议>Computer Safety, Reliability and Security

Computer Safety, Reliability and Security

召开年：2002
召开地：Catania(IT);Catania(IT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An Approach to a New Network Security Architecture for Academic Environments

机译：一种用于学术环境的新型网络安全体系结构的方法
- 作者：MahdiReza Mohajerani;Ali Moeini
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
2.Analysing the Safety of a Software Development Process

机译：分析软件开发过程的安全性
- 作者：Stephen E. Paynter;Bob W. Born
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
3.Architectural Considerations in the Certification of Modular Systems

机译：模块化系统认证中的架构注意事项
- 作者：Iain Bate;Tim Kelly
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
4.Assertion Checking Environment (ACE) for Formal Verification of C Programs

机译：声明检查环境（ACE），用于C程序的形式验证
- 作者：Babita Sharma;S. D. Dhodapkar;S. Ramesh
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
5.Assessment of the Benefit of Redundant Systems

机译：冗余系统效益评估
- 作者：Luping Chen;John May;Gordon Hughes
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
6.Checking Safe Trajectories of Aircraft Using Hybrid Automata

机译：使用混合自动机检查飞机的安全轨迹
- 作者：Italo Romani de Oliveira;Paulo Sergio Cugnasca
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
7.Dependability and Configurability: Partners or Competitors in Pervasive Computing?

机译：可靠性和可配置性：普适计算领域的合作伙伴或竞争对手？
- 作者：Titos Saridakis
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
8.Dependability as Ordinary Action

机译：可靠性作为普通行动
- 作者：Alexander Voss;Roger Slack;Rob Procter;Robin Williams;Mark Hartswood;Mark Rouncefield
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
9.Dependability in the Information Society: Getting Ready for the FP6

机译：信息社会中的可靠性：为FP6做准备
- 作者：Andrea Servida
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
10.Dependability of Joint Human-Computer Systems

机译：人机联合系统的可靠性
- 作者：Erik Hollnagel
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
11.Estimating Residual Faults from Code Coverage

机译：从代码覆盖率估计残留故障
- 作者：Peter G. Bishop
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
12.Human-Computer System Dependability

机译：人机系统的可靠性
- 作者：Sandro Bologna;Erik Hollnagel
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
13.Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System

机译：涡轮数字控制系统中用于安全分析的增加建模能力的方法
- 作者：Andrea Bobbio;Ester Ciancamerla;Giuliana Franceschinis;Rossano Gaeta;Michele Minichino;Luigi Portinale
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
14.Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model

机译：使用状态敏感故障传播模型的基于模型的在线监视
- 作者：Yiannis Papadopoulos
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
15.Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant

机译：基于流体Petri网的ICARO热电厂温度控制系统模型检验
- 作者：Marco Gribaudo;A. Horvath;A. Bobbio;Enrico Tronci;Ester Ciancamerla;Michele Minichino
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
16.A Problem-Oriented Approach to Common Criteria Certification

机译：面向问题的通用标准认证方法
- 作者：Thomas Rottke;Denis Hatebur;Maritta Heisel;Monika Heiner
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
17.A Rigorous View of Mode Confusion

机译：严格的模式混淆视图
- 作者：Jan Bredereke;Axel Lankenau
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
18.A Strategy for Improving the Efficiency of Procedure Verification

机译：提高程序验证效率的策略
- 作者：Wenhui Zhang
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
19.A Watchdog Processor Architecture with Minimal Performance Overhead

机译：具有最小性能开销的看门狗处理器架构
- 作者：Francisco Rodriguez;Jose Carlos Campelo;Juan Jose Serrano
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
20.Practical Solutions to Key Recovery Based on PKI in IP Security

机译：IP安全中基于PKI的密钥恢复实用解决方案
- 作者：Yoon-Jung Rhee;Tai-Yun Kim
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
21.Redundant Data Acquisition in a Distributed Security Compound

机译：分布式安全性化合物中的冗余数据采集
- 作者：Thomas Droste
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
22.Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components

机译：使用现成的组件升级的传统安全关键系统的可靠性评估
- 作者：Peter Popov
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
23.Safety Analysis of the Height Control System for the Elbtunnel

机译：Elbtunnel高度控制系统的安全性分析
- 作者：Frank Ortmeier;Gerhard Schellhorn;Andreas Thums;Wolfgang Reif;Bernhard Hering;Helmut Trappschuh
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
24.Safety and Security Analysis of Object-Oriented Models

机译：面向对象模型的安全性和安全性分析
- 作者：Kevin Lano;David Clark;Kelly Androutsopoulos
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
25.Software Challenges in Aviation Systems

机译：航空系统中的软件挑战
- 作者：John C. Knight
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
26.Software Criticality Analysis of COTS/SOUP

机译：COTS / SOUP的软件重要性分析
- 作者：Peter Bishop;Robin Bloomfield;Tim Clement;Sofia Guerra
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
27.Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation

机译：可靠性和安全性评估的两种不相乘积算法的统计比较
- 作者：Klaus Heidtmann
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
28.Survivability Strategy for a Security Critical Process

机译：安全关键流程的生存策略
- 作者：Ferdinand J. Dafelmair
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
29.The CORAS Framework for a Model-Based Risk Management Process

机译：基于模型的风险管理流程的CORAS框架
- 作者：Rune Fredriksen;Monica Kristiansen;Bjorn Axel Gran;Ketil Stolen;Tom Arthur Opperud;Theo Dimitrakos
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
30.Towards a Metrics Based Verification and Validation Maturity Model

机译：建立基于度量的验证和确认成熟度模型
- 作者：Jef Jacobs;Jos Trienekens
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年
31.Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time

机译：使用信念和时间的模型可检查逻辑对SSL / TLS协议进行验证
- 作者：Massimo Benerecetti;Maurizio Panti;Luca Spalazzi;Simone Tacconi
- 会议名称：《Computer Safety, Reliability and Security》 | 2002年