Computer Safety, Reliability, and Security (Record no. 180655)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05894nam a22006375i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-30138-7 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423125703.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 | 121227s2004 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540301387 |
| -- | 978-3-540-30138-7 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/b100227 |
| 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 | 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / |
| Statement of responsibility, etc | edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2004. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2004. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XII, 344 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 | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 3219 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Invited Talk -- Why Safety and Security Should and Will Merge -- Safety Cases -- The Deconstruction of Safety Arguments Through Adversarial Counter-Argument -- Using Fuzzy Self-Organising Maps for Safety Critical Systems -- Using Formal Methods in a Retrospective Safety Case -- Reliability -- A Highly Fault Detectable Cache Architecture for Dependable Computing -- An Empirical Exploration of the Difficulty Function -- Towards the Integration of Fault, Resource, and Power Management -- Human Factors -- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems -- Analysing Mode Confusion: An Approach Using FDR2 -- Invited Talk -- Handling Safety Critical Requirements in System Engineering Using the B Formal Method -- Transportation -- A Hybrid Testing Methodology for Railway Control Systems -- Actuator Based Hazard Analysis for Safety Critical Systems -- Performability Measures of the Public Mobile Network of a Tele Control System -- Software Development -- PLC-Based Safety Critical Software Development for Nuclear Power Plants -- Compositional Hazard Analysis of UML Component and Deployment Models -- Automatic Test Data Generation from Embedded C Code -- Fault Tree Analysis -- State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems -- Safety Requirements and Fault Trees Using Retrenchment -- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics -- Invited Talk -- Automotive Telematics – Road Safety Versus IT Security? -- Formal Methods and Systems -- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture -- Refinement of Fault Tolerant Control Systems in B -- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems -- Security and Quality of Service.-An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth -- Dependability Benchmarking of Web-Servers -- Hazard and Risk Analysis -- An Approach for Model-Based Risk Assessment -- How Explicit Are the Barriers to Failure in Safety Arguments?. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties. |
| 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 | Heisel, Maritta. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Liggesmeyer, Peter. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wittmann, Stefan. |
| 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 | 9783540231769 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783662213773 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 1611-3349 ; |
| Volume number/sequential designation | 3219 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/b100227">https://doi.org/10.1007/b100227</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 912 ## - | |
| -- | ZDB-2-BAE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.