Home > Research > Browse

Results for threat modeling

Publications & Outputs

  1. Security-Minded Verification of Cooperative Awareness Messages

    Farrell , M., Bradbury, M., Cardoso, R. C., Fisher, M., Dennis, L., Dixon, C., Sheik, A. T., Yuan, H. & Maple, C., 31/07/2024, In: IEEE Transactions on Dependable and Secure Computing. 21, 4, p. 4048-4065 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review