Computer Safety, Reliability, and Security

Keynote Papers.- Critical Information Infrastructures: Should Models Represent Structures or Functions?.- Security and Interoperability for MANETs and a Fixed Core.- Technology, Society and Risk.- Panel: Complexity and Resilience.- Software Dependability.- The Effectiveness of T-Way Test Data Generation.- Towards Agile Engineering of High-Integrity Systems.- SafeSpection - A Systematic Customization Approach for Software Hazard Identification.- Integrating Safety Analyses and Component-Based Design.- Modelling Support for Design of Safety-Critical Automotive Embedded Systems.- Resilience.- Resilience in the Aviation System.- Resilience Markers for Safer Systems and Organisations.- Modeling and Analyzing Disaster Recovery Plans as Business Processes.- Fault Tolerance.- Analysis of Nested CRC with Additional Net Data in Communication.- Symbolic Reliability Analysis of Self-healing Networked Embedded Systems.- Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers.- Security.- Secure Interaction Models for the HealthAgents System.- Security Challenges in Adaptive e-Health Processes.- An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest.- Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles.- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data.- Security Threats to Automotive CAN Networks - Practical Examples and Selected Short-Term Countermeasures.- Safety Cases.- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.- Applying Safety Goals to a New Intensive Care Workstation System.- Safety Assurance Strategies for Autonomous Vehicles.- Expert Assessment of Arguments: A Method and Its Experimental Evaluation.- Formal Methods.- Formal Verification by Reverse Synthesis.- Deriving Safety Software Requirements from an AltaRica System Model.- Model-Based