Safe Comp 97

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

Häftad, Engelska, 1997

1 429 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum1997-09-11
Mått155 x 235 x 22 mm
Vikt604 g
FormatHäftad
SpråkEngelska
Antal sidor381
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540761914

Tillhör följande kategorier

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

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.