Threat model
相关论文数: 7
顶级研究者
最高引用论文
Challenges in threat modelling of new space systems: A teleoperation use-case
Al Tariq Sheik, Ugur Ilker Atmaca, Carsten Maple, Gregory Epiphaniou
引用数: 14 • 2022
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple
引用数: 12 • 2019
Security-Minded Verification of Cooperative Awareness Messages
Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple
引用数: 5 • 2023
Formal Verification of Security Properties on RISC-V Processors
Czea Sie Chuah, Christian Appold, Tim Leinmueller
引用数: 5 • 2023
An exemplary attack scenario
Jana Dittmann, Bernhard Karpuschewski, Jana Fruth, M. Petzel, Richard Münder
引用数: 4 • 2010
End-to-end trustworthy ML for multidomain operations
Hassan Karim, Danda B. Rawat
引用数: 2 • 2023
Function–Threat Alignment in CPS with FAST and MITRE ATT&CK
Vjatšeslav Antipenko, Raimundas Matulevičius
引用数: 1 • 2025