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

Research output: Book/Report › Book › peer-review

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

TY - BOOK

T1 - Using Threat Analysis Techniques to Guide Formal Verification

T2 - A Case Study of Cooperative Awareness Messages

AU - Farrell, M.

AU - Bradbury, M.

AU - Fisher, M.

AU - Dennis, L.A.

AU - Dixon, C.

AU - Yuan, H.

AU - Maple, C.

PY - 2019

Y1 - 2019

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-85072862105&partnerID=MN8TOARS

U2 - 10.1007/978-3-030-30446-1_25

DO - 10.1007/978-3-030-30446-1_25

M3 - Book

BT - Using Threat Analysis Techniques to Guide Formal Verification

ER -