計算機安全、可靠性與保密：SAFECOMP 2006/會議錄LNCS-4166

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
Poster Session
6th FP Integrated Projeet DECOS
Modelling
Author Index