Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages



Farrell, M ORCID: 0000-0001-7708-3877, Bradbury, M, Yuan, H, Fisher, M ORCID: 0000-0002-0875-3862, Dennis, L ORCID: 0000-0003-1426-1896, Dixon, C ORCID: 0000-0002-4610-9533 and Maple, C
(2019) Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. In: International Conference on Software Engineering and Formal Methods.

[img] Text
finalcam.pdf - Accepted Version

Download (337kB) | Preview
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 17 Sep 2019 15:54
Last Modified: 08 Nov 2021 20:10
URI: https://livrepository.liverpool.ac.uk/id/eprint/3054972