|
" Safecomp '97 : "
Peter Daniel
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
740128
|
| Doc. No
|
:
|
b560062
|
| Main Entry
|
:
|
Peter Daniel
|
| Title & Author
|
:
|
Safecomp '97 : : Proceedings of the 16th International Conference on Computer Safety, Reliability and Security, New York, 7-10 September 1997 ; edited by P. Daniel.\ Peter Daniel
|
| Publication Statement
|
:
|
London: Springer-Verlag, 1997
|
| Page. NO
|
:
|
300 str.
|
| ISBN
|
:
|
3540761918
|
|
|
:
|
: 9783540761914
|
| Contents
|
:
|
Safe Software.- Software-based Safety-critical Systems: a Taxonomy.- Safety Assessment of Software Based Systems.- Safe and Reliable Computer Control Systems: an Overview.- Towards Dependable Software Requirement Specifications.- Safety Cases, Management and Development.- Safety Case Construction and Reuse Using Patterns.- A Systematic Approach to Software Safety Integrity Levels.- Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems.- Managing the Safety Argument using a Memory Prosthesis.- Security and Human Factors.- Safety and Security Requirements for an Advanced Train Control System.- Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools.- Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors.- Design, Analysis and Implementation of a New Hash Function Based on Block Cipher.- Biometric Techniques Applied in Security Technology.- Guidelines, Standards and Certification.- High Integrity Ada.- Towards an Automotive `Safer Subset' of C.- Computer Based Support for Standards and Processes in Safety Critical Systems.- An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers.- Formal Methods and Models.- Refinement and Safety Analysis.- Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams.- Consistency Checking by Type Inference and Constraint Satisfaction.- Safe Combinations of Services using B.- An Object-Based Approach to Modelling and Analysis of Failure Properties.- Methodological Support for Formally Specifying Safety-Critical Software.- Applications and Industrial Experience.- Embedded Systems in Avionics and the SACRES Approach.- Towards Safer Industrial Computer Controlled Systems.- Safety Cases for Software-intensive Systems: an Industrial Experience Report.- Testing, Validation and Verification.- Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams.- Practical Assessment of Neural Network Applications.- Software Test Techniques for System Fault-Tree Analysis.- Author Index.
|
| Subject
|
:
|
varnost
|
| Added Entry
|
:
|
Peter Daniel
|
| |