Computer Safety, Reliability, and Security (Record no. 180424)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06563nam a22006015i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-45763-3 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423125650.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 100301s2006 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540457633 |
| -- | 978-3-540-45763-3 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/11875567 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.758 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM051230 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Computer Safety, Reliability, and Security |
| Medium | [electronic resource] : |
| Remainder of title | 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings / |
| Statement of responsibility, etc | edited by Janusz Górski. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2006. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2006. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XIV, 442 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Programming and Software Engineering, |
| International Standard Serial Number | 2945-9168 ; |
| Volume number/sequential designation | 4166 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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 ofResilient 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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 has continuously contributed to the progress in high integrity applications of information technologies. The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability of critical IT systems and applications and serves as a platform for knowledge and technology transfer for researchers, industry (suppliers, operators, users), regulators and certi?ers of such systems. SAFECOMP provides ample opportunity to exchange insights and experiences on emerging methods, approaches and practical so- tions to safety, security and reliability problems across the borders of di?erent application domains and technologies. The SAFECOMP 2006 program re?ected in this book included 32 papers selected from 101 submissions of full texts. The submissions came from authors representing 26 di?erent countries from Europe, Asia, and North and South America. The 32 accepted papers were prepared by experts representing 14 d- ferent countries. The above data con?rm the broad and increasing interest in SAFECOMP and the topics addressed. The program was supplemented by three keynote presentations by outsta- ing invited experts (not included in this book). The keynotes focused on - terdisciplinary aspects of dependability of computer systems, practical aspects of application of safety standards and new challenges of information security research and development. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Coding theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Information theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computers, Special purpose. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Electronic data processing |
| General subdivision | Management. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Coding and Information Theory. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Special Purpose and Application-Based Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | IT Operations. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Górski, Janusz. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540457626 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540830863 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Programming and Software Engineering, |
| -- | 2945-9168 ; |
| Volume number/sequential designation | 4166 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/11875567">https://doi.org/10.1007/11875567</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.