计算机安全、可靠性与保密:SAFECOMP 2006/会议录LNCS-4166

计算机安全、可靠性与保密:SAFECOMP 2006/会议录LNCS-4166
作 者: Janusz Górski 
出版社: 湖南文艺出版社
丛编项:
版权说明: 本书为公共版权或经版权方授权,请支持正版图书
标 签: 暂缺
ISBN 出版时间 包装 开本 页数 字数
未知 暂无 暂无 未知 0 暂无

作者简介

暂缺《计算机安全、可靠性与保密:SAFECOMP 2006/会议录LNCS-4166》作者简介

内容简介

This book constitutes the refereed proceedings of the 25th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2006, held in Gdansk, Poland, in September 2006.The 32 revised full papers were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on systems of systems, security and survivability analysis, nuclear safety and application of standards, formal approaches, networks dependability, coping with change and mobility, safety analysis and assessment, 6th FP integrated project DECOS, and modelling.

图书目录

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