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

doi:10.1007/978-3-030-30446-1_25

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

Research output: Contribution to conference › Paper › peer-review

Original language	English
DOIs	https://doi.org/10.1007/978-3-030-30446-1_25
Publication status	Published - 18 Sept 2019
Event	17th International Conference on Software Engineering and Formal Methods (SEFM) 2019 - Oslo, Norway Duration: 18 Sept 2019 → 20 Sept 2019

Conference

Conference	17th International Conference on Software Engineering and Formal Methods (SEFM) 2019
Period	18/09/19 → 20/09/19

Bibliographical note

Note: Published in: ├ûlveczky, P., Salaün, G. (eds) Software Engineering and Formal Methods. SEFM 2019, pp.471-490. (Lecture Notes in Computer Science vol. 11724). Springer, Cham. ISBN: 9783030304461

This work is supported FAIR-SPACE Hub through UKRI under the Industry Strategic Challenge Fund (ISCF) for Robotics and AI Hubs in Extreme and Hazardous Environments (grant no: EP/R026092)

Keywords

Computer science and informatics

Access to Document

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

https://doi.org/10.1007/978-3-030-30446-1_25

Using threat analysis techniques to guide formal verification: a case study of cooperative awareness messages
Farrell, M., Bradbury, M., Fisher, M., Dennis, L. A., Dixon, C., Yuan, H. & Maple, C., 18 Sept 2019, Published in: ├ûlveczky, P., Salaün, G. (eds) Software Engineering and Formal Methods. SEFM 2019, pp.471-490. (Lecture Notes in Computer Science vol. 11724). Springer, Cham. ISBN: 9783030304461 This work is supported FAIR-SPACE Hub through UKRI under the Industry Strategic Challenge Fund (ISCF) for Robotics and AI Hubs in Extreme and Hazardous Environments (grant no: EP/R026092). p. 471-490 (Lecture Notes in Computer Science; vol. 11724, no. 11724).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Cite this

@conference{93238d3f49c44b22a1af46876d04fa7d,

title = "Using threat analysis techniques to guide formal verification: a case study of cooperative awareness messages",

keywords = "Computer science and informatics",

author = "Marie Farrell and Matthew Bradbury and Michael Fisher and Dennis, \{Louise A.\} and Clare Dixon and Hu Yuan and Carsten Maple",

note = "Note: Published in: ├{\^u}lveczky, P., Sala{\"u}n, G. (eds) Software Engineering and Formal Methods. SEFM 2019, pp.471-490. (Lecture Notes in Computer Science vol. 11724). Springer, Cham. ISBN: 9783030304461 This work is supported FAIR-SPACE Hub through UKRI under the Industry Strategic Challenge Fund (ISCF) for Robotics and AI Hubs in Extreme and Hazardous Environments (grant no: EP/R026092); 17th International Conference on Software Engineering and Formal Methods (SEFM) 2019 ; Conference date: 18-09-2019 Through 20-09-2019",

year = "2019",

month = sep,

day = "18",

doi = "10.1007/978-3-030-30446-1\_25",

language = "English",

}

TY - CONF

T1 - Using threat analysis techniques to guide formal verification

T2 - 17th International Conference on Software Engineering and Formal Methods (SEFM) 2019

AU - Farrell, Marie

AU - Bradbury, Matthew

AU - Fisher, Michael

AU - Dennis, Louise A.

AU - Dixon, Clare

AU - Yuan, Hu

AU - Maple, Carsten

N1 - Note: Published in: ├ûlveczky, P., Salaün, G. (eds) Software Engineering and Formal Methods. SEFM 2019, pp.471-490. (Lecture Notes in Computer Science vol. 11724). Springer, Cham. ISBN: 9783030304461 This work is supported FAIR-SPACE Hub through UKRI under the Industry Strategic Challenge Fund (ISCF) for Robotics and AI Hubs in Extreme and Hazardous Environments (grant no: EP/R026092)

PY - 2019/9/18

Y1 - 2019/9/18

KW - Computer science and informatics

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

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

M3 - Paper

Y2 - 18 September 2019 through 20 September 2019

ER -