Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings (Lecture Notes in Computer Science, 5219)

This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008. The 32 revised full papers presented together with 3 keynote papers and a panel session were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on software dependability, resilience, fault tolerance, security, safety cases, formal methods, dependability modelling, as well as security and dependability. 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 - Michael D. Harrison, Mark-alexander Sujan (eds.). Includes Bibliographical References And Index.