Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12234)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SAFECOMP 2020.
Buy print copy
About this book
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 springerlink.bibliotecabuap.elogim.com.
Keywords
Table of contents (29 papers)
-
Practical Experience and Tools
-
Front Matter
-
-
Threat Analysis and Risk Mitigation
-
Front Matter
-
-
Fault Injection and Fault Tolerance
-
Front Matter
-
-
Back Matter
Other volumes
-
Computer Safety, Reliability, and Security
-
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
Editors and Affiliations
Bibliographic Information
Book Title: Computer Safety, Reliability, and Security
Book Subtitle: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
Editors: António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-54549-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-54548-2Published: 20 August 2020
eBook ISBN: 978-3-030-54549-9Published: 19 August 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXIII, 450
Number of Illustrations: 173 b/w illustrations, 78 illustrations in colour
Topics: Computer Systems Organization and Communication Networks, Artificial Intelligence, Software Engineering/Programming and Operating Systems, Control Structures and Microprogramming, Cryptology, Systems and Data Security