Computer Safety, Reliability, and Security: 39th International Conference, Safecomp 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings
暫譯: 計算機安全、可靠性與安全性：第39屆國際會議 Safecomp 2020，葡萄牙里斯本，2020年9月16-18日，會議論文集
Casimiro, António, Ortmeier, Frank, Bitsch, Friedemann
相關主題
商品描述
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.*
The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.
*The conference was held virtually due to the COVID-19 pandemic.
The chapter 'Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware' is available open access under an Open Government License 3.0 via link.springer.com.
商品描述(中文翻譯)
本書為第39屆國際計算機安全、可靠性與安全性會議（SAFECOMP 2020）的會議紀錄，該會議於2020年9月在葡萄牙里斯本舉行。
本卷收錄的27篇完整論文和2篇短文經過仔細審查和選擇，來自116篇投稿。這些論文被組織成以下主題部分：安全案例與論證；形式驗證與分析；安全建模與方法；學習驅動系統的保證；實務經驗與工具；威脅分析與風險緩解；網路物理系統安全；以及故障注入與容錯。
*由於COVID-19疫情，會議以虛擬方式舉行。
章節「現成複雜計算硬體的保證論證元素」可在link.springer.com上以開放存取方式獲得，遵循開放政府許可證3.0。
