Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings (Lecture Notes in Computer Science)
暫譯: 計算機安全、可靠性與安全性：第33屆國際會議 SAFECOM 2014，義大利佛羅倫斯，2014年9月10-12日。會議錄（計算機科學講義）

Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2014-08-20
  • 售價: $2,450
  • 貴賓價: 9.5 折 $2,328
  • 語言: 英文
  • 頁數: 380
  • 裝訂: Paperback
  • ISBN: 3319105051
  • ISBN-13: 9783319105055
  • 相關分類: Computer-Science、資訊安全

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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.

商品描述(中文翻譯)

本書為第33屆國際計算機安全、可靠性與安全性會議（SAFECOMP 2014）的經過審核的會議論文集，該會議於2014年9月在意大利佛羅倫斯舉行。共選出20篇經過修訂的完整論文及3篇實務經驗報告，這些論文是從85篇投稿中仔細審核和選出的。論文依主題分為故障注入技術、驗證與確認技術、汽車系統、覆蓋模型與緩解技術、保證案例與論證、系統分析、安全性與信任、安全相關方面的符號/語言、安全與安全性等部分。

類似商品