دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
دانلود کتاب ایمنی ، قابلیت اطمینان و امنیت رایانه: سی و پنجمین کنفرانس بین المللی ، SAFECOMP 2016 ، تروندهایم ، نروژ ، 21 تا 23 سپتامبر 2016 ، مجموعه مقالات
مشخصات کتاب
Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
ویرایش: 1 نویسندگان: Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch (eds.) سری: Lecture Notes in Computer Science 9922 ISBN (شابک) : 9783319454771, 9783319454764 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 324 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 30 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب ایمنی ، قابلیت اطمینان و امنیت رایانه: سی و پنجمین کنفرانس بین المللی ، SAFECOMP 2016 ، تروندهایم ، نروژ ، 21 تا 23 سپتامبر 2016 ، مجموعه مقالات: منطق و معانی برنامه‌ها، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، مهندسی نرم‌افزار، سیستم‌ها و امنیت داده‌ها، برنامه‌های کاربردی کامپیوتری، سازمان‌دهی سیستم‌های کامپیوتری و شبکه‌های ارتباطی
در صورت تبدیل فایل کتاب Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ایمنی ، قابلیت اطمینان و امنیت رایانه: سی و پنجمین کنفرانس بین المللی ، SAFECOMP 2016 ، تروندهایم ، نروژ ، 21 تا 23 سپتامبر 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ایمنی ، قابلیت اطمینان و امنیت رایانه: سی و پنجمین کنفرانس بین المللی ، SAFECOMP 2016 ، تروندهایم ، نروژ ، 21 تا 23 سپتامبر 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری سی و پنجمین کنفرانس بین‌المللی ایمنی، قابلیت اطمینان و امنیت رایانه، SAFECOMP 2016، که در تروندهایم، نروژ، در سپتامبر 2016 برگزار شد، تشکیل شده است. . این مقالات در بخش‌های موضوعی در مورد تزریق خطا، تضمین ایمنی، تأیید رسمی، خودرو، تشخیص ناهنجاری و انعطاف‌پذیری، امنیت سایبری، درختان خطا، و تجزیه و تحلیل ایمنی سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis.
فهرست مطالب
Front Matter....Pages I-XV
Front Matter....Pages 1-1
FISSC: A Fault Injection and Simulation Secure Collection....Pages 3-11
FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools....Pages 12-23
Front Matter....Pages 25-25
Using Process Models in System Assurance....Pages 27-38
The Indispensable Role of Rationale in Safety Standards....Pages 39-50
Composition of Safety Argument Patterns....Pages 51-63
Front Matter....Pages 65-65
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol....Pages 67-75
A Dedicated Algorithm for Verification of Interlocking Systems....Pages 76-87
Catalogue of System and Software Properties....Pages 88-101
A High-Assurance, High-Performance Hardware-Based Cross-Domain System....Pages 102-113
Front Matter....Pages 115-115
Using STPA in an ISO 26262 Compliant Process....Pages 117-129
A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context....Pages 130-141
Front Matter....Pages 143-143
Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures....Pages 145-158
Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis....Pages 159-171
Automatic Invariant Selection for Online Anomaly Detection....Pages 172-183
Front Matter....Pages 185-185
Modelling Cost-Effectiveness of Defenses in Industrial Control Systems....Pages 187-200
Your Industrial Facility and Its IP Address: A First Approach for Cyber-Physical Attack Modeling....Pages 201-212
Towards Security-Explicit Formal Modelling of Safety-Critical Systems....Pages 213-225
A New SVM-Based Fraud Detection Model for AMI....Pages 226-237
Exploiting Trust in Deterministic Builds....Pages 238-249
Front Matter....Pages 251-251
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates....Pages 253-265
Front Matter....Pages 251-251
Effective Static and Dynamic Fault Tree Analysis....Pages 266-280
Front Matter....Pages 281-281
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration....Pages 283-295
Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain....Pages 296-308
Towards Cloud-Based Enactment of Safety-Related Processes....Pages 309-321
Back Matter....Pages 323-324
