25. SAFECOMP 2006: Gdansk, Poland

Janusz Górski (Ed.): Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings. Lecture Notes in Computer Science 4166 Springer 2006, ISBN 3-540-45762-3 BibTeX

Systems of Systems

Robert Alexander, Dimitar Kazakov, Tim Kelly:
System of Systems Hazard Analysis Using Simulation and Machine Learning. 1-14
Electronic Edition (link) BibTeX
Igor Nai Fovino, Marcelo Masera:
Through the Description of Attacks: A Multidimensional View. 15-28
Electronic Edition (link) BibTeX
Tomasz Gierszewski, Wojciech Molisz, Jacek Rak:
On Certain Behavior of Scale-Free Networks Under Malicious Attacks. 29-41
Electronic Edition (link) BibTeX

Security and Survivability Analysis

Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann:
Verifying a Chipcard-Based Biometric Identification Protocol in VSE. 42-56
Electronic Edition (link) BibTeX
Felicjan Rydzak, Lars S. Breistrand, Finn Olav Sveen, Ying Qian, Jose J. Gonzalez:
Exploring Resilience Towards Risks in eOperations in the Oil and Gas Industry. 57-70
Electronic Edition (link) BibTeX
Eimantas Garsva:
Computer System Survivability Modelling by Using Stochastic Activity Network. 71-84
Electronic Edition (link) BibTeX

Nuclear Safety and Application of Standards

Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon:
Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant. 85-98
Electronic Edition (link) BibTeX
I-Hsin Chou, Chin-Feng Fan:
Regulatory Software Configuration Management System Design. 99-112
Electronic Edition (link) BibTeX
Mário Brito, John May:
Gaining Confidence in the Software Development Process Using Expert Systems. 113-126
Electronic Edition (link) BibTeX

Formal Approaches

Richard Banach, Marco Bozzano:
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. 127-141
Electronic Edition (link) BibTeX
Thomas Santen:
Stepwise Development of Secure Systems. 142-155
Electronic Edition (link) BibTeX
Holger Giese, Matthias Tichy:
Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. 156-169
Electronic Edition (link) BibTeX

Networks Dependability

Wojciech Mazurczyk, Zbigniew Kotulski:
New VoIP Traffic Security Scheme with Digital Watermarking. 170-181
Electronic Edition (link) BibTeX
Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia:
Towards Filtering and Alerting Rule Rewriting on Single-Component Policies. 182-194
Electronic Edition (link) BibTeX
Byungryong Kim:
Using Group Overlapping to Protect Server from Attack in Grid Computing. 195-204
Electronic Edition (link) BibTeX

Coping with Change and Mobility

Andrzej Wardzinski:
The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles. 205-218
Electronic Edition (link) BibTeX
Mark A. Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon:
Demonstration of Safety in Healthcare Organisations. 219-232
Electronic Edition (link) BibTeX
Won Jay Song, Moon Kyo Cho, Im Sook Há, Mun Kee Choi:
Healthcare System Architecture, Economic Value, and Policy Models in Large-Scale Wireless Sensor Networks. 233-246
Electronic Edition (link) BibTeX

Safety Analysis and Assessment

Fredrik Törner, Per Johannessen, Peter Öhman:
Assessment of Hazard Identification Methods for the Automotive Domain. 247-260
Electronic Edition (link) BibTeX
Dawid Trawczynski, Janusz Sosnowski, Janusz Zalewski:
A Tool for Databus Safety Analysis Using Fault Injection. 261-274
Electronic Edition (link) BibTeX
Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, E. Moritz Hahn:
Towards a Unified Model-Based Safety Assessment. 275-288
Electronic Edition (link) BibTeX

Poster Session

Piotr Cholda, Jerzy Domzal, Andrzej Jajszczyk, Krzysztof Wajda:
Reliability Analysis of Resilient Packet Rings. 289-301
Electronic Edition (link) BibTeX
Meine van der Meulen, Miguel A. Revilla:
Experiences with the Design of a Run-Time Check. 302-315
Electronic Edition (link) BibTeX
Andrzej Bialas:
Development of an Integrated, Risk-Based Platform for Information and E-Services Security. 316-329
Electronic Edition (link) BibTeX
Martin Hall-May, Tim Kelly:
Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. 330-343
Electronic Edition (link) BibTeX
Marcin Szpyrka, Tomasz Szmuc:
Verification of Automatic Train Protection Systems with RTCP-Nets. 344-357
Electronic Edition (link) BibTeX

6th FP Integrated Project DECOS

Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent:
Checking SCADE Models for Correct Usage of Physical Units. 358-371
Electronic Edition (link) BibTeX
Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán:
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. 372-385
Electronic Edition (link) BibTeX
Martin Schlager, Wolfgang Herzner, Andreas Wolf, Oliver Gründonner, Maximilian Rosenblattl, Erwin Erkinger:
Encapsulating Application Subsystems Using the DECOS Core OS. 386-397
Electronic Edition (link) BibTeX

Modelling

Kirsten Berkenkötter, Ulrich Hannemann:
Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. 398-411
Electronic Edition (link) BibTeX
Aneta Poniszewska-Maranda:
Access Control Coherence of Information Systems Based on Security Constraints. 412-425
Electronic Edition (link) BibTeX
Norbert Oster, Francesca Saglietti:
Automatic Test Data Generation by Multi-objective Optimisation. 426-438
Electronic Edition (link) BibTeX