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

University of Liverpool
University of Warwick

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	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)
Pages	471-490
DOIs	https://doi.org/10.1007/978-3-030-30446-1_25
Publication status	Published - 18 Sept 2019

Publication series

Name	Lecture Notes in Computer Science
Number	11724
Volume	11724
ISSN (Print)	0302-9743

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.
Research output: Contribution to conference › Paper › peer-review

Cite this

Farrell, M., Bradbury, M., Fisher, M., Dennis, L. A., Dixon, C., Yuan, H., & Maple, C. (2019). Using threat analysis techniques to guide formal verification: a case study of cooperative awareness messages. In 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) (pp. 471-490). (Lecture Notes in Computer Science; Vol. 11724, No. 11724). https://doi.org/10.1007/978-3-030-30446-1_25

Farrell, Marie ; Bradbury, Matthew ; Fisher, Michael et al. / Using threat analysis techniques to guide formal verification : a case study of cooperative awareness messages. 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). 2019. pp. 471-490 (Lecture Notes in Computer Science; 11724).

@inproceedings{208a587e400448b285b29ac3256d6319,

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)",

year = "2019",

month = sep,

day = "18",

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

language = "English",

series = "Lecture Notes in Computer Science",

number = "11724",

pages = "471--490",

booktitle = "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)",

}

Farrell, M, Bradbury, M, Fisher, M, Dennis, LA, Dixon, C, Yuan, H & Maple, C 2019, Using threat analysis techniques to guide formal verification: a case study of cooperative awareness messages. in 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). Lecture Notes in Computer Science, no. 11724, vol. 11724, pp. 471-490. 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, Marie; Bradbury, Matthew; Fisher, Michael et al.
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). 2019. p. 471-490 (Lecture Notes in Computer Science; Vol. 11724, No. 11724).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Using threat analysis techniques to guide formal verification

T2 - a case study of cooperative awareness messages

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 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 471

EP - 490

BT - 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)

ER -

Farrell M, Bradbury M, Fisher M, Dennis LA, Dixon C, Yuan H et al. Using threat analysis techniques to guide formal verification: a case study of cooperative awareness messages. In 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). 2019. p. 471-490. (Lecture Notes in Computer Science; 11724). doi: 10.1007/978-3-030-30446-1_25