Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

Front Matter....Pages -
Critical Information Infrastructures: Should Models Represent Structures or Functions?....Pages 1-4
Security and Interoperability for MANETs and a Fixed Core....Pages 5-11
Technology, Society and Risk....Pages 12-12
Panel: Complexity and Resilience....Pages 13-15
The Effectiveness of T-Way Test Data Generation....Pages 16-29
Towards Agile Engineering of High-Integrity Systems....Pages 30-43
SafeSpection – A Systematic Customization Approach for Software Hazard Identification....Pages 44-57
Integrating Safety Analyses and Component-Based Design....Pages 58-71
Modelling Support for Design of Safety-Critical Automotive Embedded Systems....Pages 72-85
Resilience in the Aviation System....Pages 86-98
Resilience Markers for Safer Systems and Organisations....Pages 99-112
Modeling and Analyzing Disaster Recovery Plans as Business Processes....Pages 113-125
Analysis of Nested CRC with Additional Net Data in Communication....Pages 126-138
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems....Pages 139-152
Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers....Pages 153-166
Secure Interaction Models for the HealthAgents System....Pages 167-180
Security Challenges in Adaptive e-Health Processes....Pages 181-192
An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest....Pages 193-206
Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles....Pages 207-220
Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data....Pages 221-234
Security Threats to Automotive CAN Networks – Practical Examples and Selected Short-Term Countermeasures....Pages 235-248
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information....Pages 249-262
Applying Safety Goals to a New Intensive Care Workstation System....Pages 263-276
Safety Assurance Strategies for Autonomous Vehicles....Pages 277-290
Expert Assessment of Arguments: A Method and Its Experimental Evaluation....Pages 291-304
Formal Verification by Reverse Synthesis....Pages 305-319
Deriving Safety Software Requirements from an AltaRica System Model....Pages 320-331
Model-Based Implementation of Real-Time Systems....Pages 332-345
Early Prototyping of Wireless Sensor Network Algorithms in PVS....Pages 346-359
Analyzing Fault Susceptibility of ABS Microcontroller....Pages 360-372
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems....Pages 373-386
The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects....Pages 387-400
A Context-Aware Mandatory Access Control Model for Multilevel Security Environments....Pages 401-414
Formal Security Analysis of Electronic Software Distribution Systems....Pages 415-428
The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling....Pages 429-439
Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems....Pages 440-453
Back Matter....Pages -