27. SAFECOMP 2008: Newcastle upon Tyne, UK

Michael D. Harrison, Mark-Alexander Sujan (Eds.): 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 Springer 2008, ISBN 978-3-540-87697-7 BibTeX

Keynote Papers

Erik Hollnagel:
Critical Information Infrastructures: Should Models Represent Structures or Functions? 1-4
Electronic Edition (link) BibTeX
Colin O'Halloran, Andy Bates:
Security and Interoperability for MANETs and a Fixed Core. 5-11
Electronic Edition (link) BibTeX
Roger Rivett:
Technology, Society and Risk. 12
Electronic Edition (link) BibTeX
Aad P. A. van Moorsel:
Panel: Complexity and Resilience. 13-15
Electronic Edition (link) BibTeX

Michael Ellims, Darrel C. Ince, Marian Petre:
The Effectiveness of T-Way Test Data Generation. 16-29
Electronic Edition (link) BibTeX
Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke:
Towards Agile Engineering of High-Integrity Systems. 30-43
Electronic Edition (link) BibTeX
Christian Denger, Mario Trapp, Peter Liggesmeyer:
SafeSpection - A Systematic Customization Approach for Software Hazard Identification. 44-57
Electronic Edition (link) BibTeX
Dominik Domis, Mario Trapp:
Integrating Safety Analyses and Component-Based Design. 58-71
Electronic Edition (link) BibTeX
De-Jiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren:
Modelling Support for Design of Safety-Critical Automotive Embedded Systems. 72-85
Electronic Edition (link) BibTeX

Antonio Chialastri, Simone Pozzi:
Resilience in the Aviation System. 86-98
Electronic Edition (link) BibTeX
Jonathan Back, Dominic Furniss, Michael Hildebrandt, Ann Blandford:
Resilience Markers for Safer Systems and Organisations. 99-112
Electronic Edition (link) BibTeX
Andrzej Zalewski, Piotr Sztandera, Marcin Ludzia, Marek Zalewski:
Modeling and Analyzing Disaster Recovery Plans as Business Processes. 113-125
Electronic Edition (link) BibTeX

Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold:
Analysis of Nested CRC with Additional Net Data in Communication. 126-138
Electronic Edition (link) BibTeX
Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich:
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems. 139-152
Electronic Edition (link) BibTeX
Yasser Sedaghat, Seyed Ghassem Miremadi:
Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers. 153-166
Electronic Edition (link) BibTeX

Liang Xiao, Paul H. Lewis, Srinandan Dasmahapatra:
Secure Interaction Models for the HealthAgents System. 167-180
Electronic Edition (link) BibTeX
Michael Predeschly, Peter Dadam, Hilmar Acker:
Security Challenges in Adaptive e-Health Processes. 181-192
Electronic Edition (link) BibTeX
Abdullah Alaraj, Malcolm Munro:
An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest. 193-206
Electronic Edition (link) BibTeX
Dennis K. Nilsson, Ulf Larson, Erland Jonsson:
Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles. 207-220
Electronic Edition (link) BibTeX
Danielle Chrun, Michel Cukier, Gerry Sneeringer:
Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data. 221-234
Electronic Edition (link) BibTeX
Tobias Hoppe, Stefan Kiltz, Jana Dittmann:
Security Threats to Automotive CAN Networks - Practical Examples and Selected Short-Term Countermeasures. 235-248
Electronic Edition (link) BibTeX

Nurlida Basir, Ewen Denney, Bernd Fischer:
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. 249-262
Electronic Edition (link) BibTeX
Uwe Becker:
Applying Safety Goals to a New Intensive Care Workstation System. 263-276
Electronic Edition (link) BibTeX
Andrzej Wardzinski:
Safety Assurance Strategies for Autonomous Vehicles. 277-290
Electronic Edition (link) BibTeX
Lukasz Cyra, Janusz Górski:
Expert Assessment of Arguments: A Method and Its Experimental Evaluation. 291-304
Electronic Edition (link) BibTeX

Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer:
Formal Verification by Reverse Synthesis. 305-319
Electronic Edition (link) BibTeX
Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc:
Deriving Safety Software Requirements from an AltaRica System Model. 320-331
Electronic Edition (link) BibTeX
Krzysztof Sacha:
Model-Based Implementation of Real-Time Systems. 332-345
Electronic Edition (link) BibTeX
Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer:
Early Prototyping of Wireless Sensor Network Algorithms in PVS. 346-359
Electronic Edition (link) BibTeX

Dawid Trawczynski, Janusz Sosnowski, Piotr Gawkowski:
Analyzing Fault Susceptibility of ABS Microcontroller. 360-372
Electronic Edition (link) BibTeX
David Navarre, Philippe A. Palanque, Sandra Basnyat:
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. 373-386
Electronic Edition (link) BibTeX
Alberto Pasquini, Simone Pozzi, Luca Save:
The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects. 387-400
Electronic Edition (link) BibTeX

Jafar Haadi Jafarian, Morteza Amini, Rasool Jalili:
A Context-Aware Mandatory Access Control Model for Multilevel Security Environments. 401-414
Electronic Edition (link) BibTeX
Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson:
Formal Security Analysis of Electronic Software Distribution Systems. 415-428
Electronic Edition (link) BibTeX
Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin:
The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling. 429-439
Electronic Edition (link) BibTeX
Ayman K. Gendy, Michael J. Pont:
Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems. 440-453
Electronic Edition (link) BibTeX