Safe Comp 97

The 16th International Conference on Computer Safety, Reliability and Security

Häftad, Engelska, 1997

1 103 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This volume contains the proceedings of SAFECOMP '97, the 16th International Conference on Computer Safety, Reliability and Security. The papers presented here form a platform for technology transfer between academia, industry and research institutions. Topics included are: safe software; safety cases, management and development; security; human factors; guidelines, standards and certification; formal methods and models; applications and industrial experience; testing, validation and verification.

Produktinformation

Utgivningsdatum:1997-09-11
Mått:155 x 235 x 22 mm
Vikt:604 g
Format:Häftad
Språk:Engelska
Antal sidor:381
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540761914

Utforska kategorier

Informationsteknik: allmänt inom Data och IT
Programmeringsböcker inom Data och IT
IT-säkerhet inom Data och IT

Innehållsförteckning

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 SaferIndustrial 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.