دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings
دانلود کتاب ایمنی ، قابلیت اطمینان و امنیت رایانه: 33مین کنفرانس بین المللی ، SAFECOMP 2014 ، فلورانس ، ایتالیا ، 10-12 سپتامبر 2014. مجموعه مقالات
مشخصات کتاب
Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings
ویرایش: 1
نویسندگان: Andrea Bondavalli. Felicita Di Giandomenico (eds.)
سری: Lecture Notes in Computer Science 8666 Programming and Software Engineering
ISBN (شابک) : 9783319105055, 9783319105062
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 377
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 33 مگابایت
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ایمنی ، قابلیت اطمینان و امنیت رایانه: 33مین کنفرانس بین المللی ، SAFECOMP 2014 ، فلورانس ، ایتالیا ، 10-12 سپتامبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ایمنی ، قابلیت اطمینان و امنیت رایانه: 33مین کنفرانس بین المللی ، SAFECOMP 2014 ، فلورانس ، ایتالیا ، 10-12 سپتامبر 2014. مجموعه مقالات
این کتاب مجموعه مقالات داوری سی و سومین کنفرانس بین‌المللی ایمنی، قابلیت اطمینان و امنیت کامپیوتر، SAFECOMP 2014، در فلورانس، ایتالیا، در سپتامبر 2014 برگزار شد. بررسی و از بین 85 مورد ارسالی انتخاب شد. این مقالات در بخش‌های موضوعی در مورد تکنیک‌های تزریق خطا، تکنیک‌های تایید و اعتبار، سیستم‌های خودرو، مدل‌های پوشش و تکنیک‌های کاهش، موارد و استدلال‌های اطمینان، تجزیه و تحلیل سیستم، امنیت و اعتماد، نمادها/زبان‌های جنبه‌های مرتبط با ایمنی، ایمنی و امنیت سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised full papers presented together with 3 practical experience reports were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages for safety related aspects, safety and security.
فهرست مطالب
Front Matter....Pages -
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems....Pages 1-16
Rapid Fault-Space Exploration by Evolutionary Pruning....Pages 17-32
Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search....Pages 33-48
Debugging with Timed Automata Mutations....Pages 49-64
Systematic Derivation of Functional Safety Requirements for Automotive Systems....Pages 65-80
Making Implicit Safety Requirements Explicit....Pages 81-92
Securing Vehicle Diagnostics in Repair Shops....Pages 93-108
Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage....Pages 109-124
Exploiting Narrow Data-Width to Mask Soft Errors in Register Files....Pages 125-138
Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence....Pages 139-154
Assurance Cases for Block-Configurable Software....Pages 155-169
Generation of Safety Case Argument-Fragments from Safety Contracts....Pages 170-185
Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function....Pages 186-201
Proving the Absence of Stack Overflows....Pages 202-213
Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks....Pages 214-229
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems....Pages 230-245
On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet....Pages 246-261
Specifying Safety Monitors for Autonomous Systems Using Model-Checking....Pages 262-277
Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements....Pages 278-293
Querying Safety Cases....Pages 294-309
Security Application of Failure Mode and Effect Analysis (FMEA)....Pages 310-325
Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline....Pages 326-341
A Pragmatic Approach towards Safe and Secure Medical Device Integration....Pages 342-353
Back Matter....Pages -
