The Marriage Between Safety and Cybersecurity: Still Practicing-Reference-Cited by-同舟云学术

The Marriage Between Safety and Cybersecurity: Still Practicing

Published:2021 Issue: Volume: Page:3-21
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Stoelinga Marielle^ORCID,Kolb Christina,Nicoletti Stefano M.^ORCID,Budde Carlos E.^ORCID,Hahn Ernst Moritz^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-84629-9_1

Reference48 articles.

1. Amorim, T., Schneider, D., Nguyen, V.Y., Schmittner, C., Schoitsch, E.: Five major reasons why safety and security haven’t married (yet). ERCIM News 102, 16–17 (2015)

2. Lecture Notes in Computer Science;F Arnold,2015

3. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.E.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Sec. Comput. 1, 11–33 (2004)

4. Barlow, R.E., Proschan, F.: Statistical Theory of Reliability and Life Testing: Probability Models. International Series in Decision Processes. Holt, Rinehart and Winston, New York (1975)

5. Lecture Notes in Computer Science;K Bernsmed,2018

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Developing Dependable IoT Systems: Safety Perspective;Mechanisms and Machine Science;2024

2. Model-based joint analysis of safety and security:Survey and identification of gaps;Computer Science Review;2023-11

3. Formal Verification of Safety and Security Properties in Industry 4.0 Applications;2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA);2023-09-12

4. An Overview of Safety and Security Analysis Frameworks for the Internet of Things;Electronics;2023-07-16

5. Using Statistical Model Checking for Cybersecurity Analysis;Communications in Computer and Information Science;2023