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
Access to this file is embargoed until 9 September 2020.

Download (337kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 17 Sep 2019 15:54
Last Modified: 08 May 2020 21:04
URI: http://livrepository.liverpool.ac.uk/id/eprint/3054972