Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings /

Welcome to SAFECOMP 2006, the 25th International Conference on Computer Safety, Security and Reliability, held in Gdansk,Poland. Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Reliability and Security (EWICS TC7), SAFECOMP h...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Górski, Janusz (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 4166
Temas:
Software engineering.
Coding theory.
Information theory.
Computers, Special purpose.
Computer science.
Electronic data processing-Management.
Software Engineering.
Coding and Information Theory.
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Systems of Systems
  • System of Systems Hazard Analysis Using Simulation and Machine Learning
  • Through the Description of Attacks: A Multidimensional View
  • On Certain Behavior of Scale-Free Networks Under Malicious Attacks
  • Security and Survivability Analysis
  • Verifying a Chipcard-Based Biometric Identification Protocol in VSE
  • Exploring Resilience Towards Risks in eOperations in the Oil and Gas Industry
  • Computer System Survivability Modelling by Using Stochastic Activity Network
  • Nuclear Safety and Application of Standards
  • Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant
  • Regulatory Software Configuration Management System Design
  • Gaining Confidence in the Software Development Process Using Expert Systems
  • Formal Approaches
  • Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems
  • Stepwise Development of Secure Systems
  • Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration
  • Networks Dependability
  • New VoIP Traffic Security Scheme with Digital Watermarking
  • Towards Filtering and Alerting Rule Rewriting on Single-Component Policies
  • Using Group Overlapping to Protect Server from Attack in Grid Computing
  • Coping with Change and Mobility
  • The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles
  • Demonstration of Safety in Healthcare Organisations
  • Healthcare System Architecture, Economic Value, and Policy Models in Large-Scale Wireless Sensor Networks
  • Safety Analysis and Assessment
  • Assessment of Hazard Identification Methods for the Automotive Domain
  • A Tool for Databus Safety Analysis Using Fault Injection
  • Towards a Unified Model-Based Safety Assessment
  • Poster Session
  • Reliability Analysis of Resilient Packet Rings
  • Experiences with the Design of a Run-Time Check
  • Development of an Integrated, Risk-Based Platform for Information and E-Services Security
  • Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems
  • Verification of Automatic Train Protection Systems with RTCP-Nets
  • 6th FP Integrated Project DECOS
  • Checking SCADE Models for Correct Usage of Physical Units
  • Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench
  • Encapsulating Application Subsystems Using the DECOS Core OS
  • Modelling
  • Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile
  • Access Control Coherence of Information Systems Based on Security Constraints
  • Automatic Test Data Generation by Multi-objective Optimisation.

Ejemplares similares