Matthew Bradbury

University of Warwick, Lancaster University

论文数

2

总引用数

17

H-Index

2

关于

暂无简介。

研究焦点

Threat model2 · 17 次引用
Computer science2 · 17 次引用
Computer security2 · 17 次引用
Formal verification2 · 17 次引用
Model checking2 · 17 次引用
Programming language2 · 17 次引用
Promela2 · 17 次引用
STRIDE2 · 17 次引用
Security analysis2 · 17 次引用
Theoretical computer science2 · 17 次引用
Focus (optics)1 · 12 次引用
Formal methods1 · 12 次引用

主要成就

2
H 指数
2
论文
17
总引用数
9
篇均引用
🏆 最高被引论文
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
12 次引用 · 2019
📈 最高产年份: 2019 (1 论文)
🤝 主要合作者: 8
🏛 所属机构: University of Warwick, Lancaster University

代表论文

  1. 1
    Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
    12 次引用 · 2019
  2. 2
    Security-Minded Verification of Cooperative Awareness Messages
    5 次引用 · 2023

主要合作者

CDClare Dixon2 篇合著论文LALouise A. Dennis2 篇合著论文HYHu Yuan2 篇合著论文MFMichael Fisher2 篇合著论文CMCarsten Maple2 篇合著论文MFMarie Farrell2 篇合著论文ATAl Tariq Sheik1 篇合著论文RCRafael C. Cardoso1 篇合著论文

联系与链接

可合作
内容已生成 · 16 天前