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

Browse the full SEFM paper archive.