عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540761918
شابک
9783540761914
شماره کتابشناسی ملی
شماره
b560062
عنوان و نام پديدآور
عنوان اصلي
Safecomp '97 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Proceedings of the 16th International Conference on Computer Safety, Reliability and Security, New York, 7-10 September 1997 ; edited by P. Daniel.
نام نخستين پديدآور
Peter Daniel
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1997
مشخصات ظاهری
نام خاص و کميت اثر
300 str.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
varnost
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Peter Daniel
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Peter Daniel
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
