Provisioning Software with Hardware-Software Binding. / Lee, Robert; Markantonakis, Konstantinos; Akram, Raja.

FARES '17 Proceedings of the 12th International Workshop on Frontiers in Availability, Reliability and Security. ACM, 2017. p. 1-9 49.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Provisioning Software with Hardware-Software Binding. / Lee, Robert; Markantonakis, Konstantinos; Akram, Raja.

FARES '17 Proceedings of the 12th International Workshop on Frontiers in Availability, Reliability and Security. ACM, 2017. p. 1-9 49.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Lee, R, Markantonakis, K & Akram, R 2017, Provisioning Software with Hardware-Software Binding. in FARES '17 Proceedings of the 12th International Workshop on Frontiers in Availability, Reliability and Security., 49, ACM, pp. 1-9. https://doi.org/10.1145/3098954.3103158

APA

Lee, R., Markantonakis, K., & Akram, R. (2017). Provisioning Software with Hardware-Software Binding. In FARES '17 Proceedings of the 12th International Workshop on Frontiers in Availability, Reliability and Security (pp. 1-9). [49] ACM. https://doi.org/10.1145/3098954.3103158

Vancouver

Lee R, Markantonakis K, Akram R. Provisioning Software with Hardware-Software Binding. In FARES '17 Proceedings of the 12th International Workshop on Frontiers in Availability, Reliability and Security. ACM. 2017. p. 1-9. 49 https://doi.org/10.1145/3098954.3103158

Author

Lee, Robert ; Markantonakis, Konstantinos ; Akram, Raja. / Provisioning Software with Hardware-Software Binding. FARES '17 Proceedings of the 12th International Workshop on Frontiers in Availability, Reliability and Security. ACM, 2017. pp. 1-9

BibTeX

@inproceedings{88c5321bfc19452180c48e877596ca94,
title = "Provisioning Software with Hardware-Software Binding",
abstract = "Smart cities are a concept of interest to many industrial, academic and government organisations. However, smart cities present a large attack surface to adversaries if every traffic light, power relay and water pipe are connected to the internet. This paper describes the problem of distributing software in a smart city when strong protection of device software, software installation and update provision are required. A set of requirements for a secure software provisioning system is presented and two models for the software distribution are proposed. Three protocols for distributing software are presented that meet the requirements stated. A formal analysis using Tamarin Prover is described that proves the security of the proposed protocols. Finally, an implementation has been developed using a laptop and Raspberry Pi 3 to demonstrate the proposed protocols in action and the performance of them.",
author = "Robert Lee and Konstantinos Markantonakis and Raja Akram",
year = "2017",
month = aug,
day = "29",
doi = "10.1145/3098954.3103158",
language = "English",
isbn = "978-1-4503-5257-4",
pages = "1--9",
booktitle = "FARES '17 Proceedings of the 12th International Workshop on Frontiers in Availability, Reliability and Security",
publisher = "ACM",

}

RIS

TY - GEN

T1 - Provisioning Software with Hardware-Software Binding

AU - Lee, Robert

AU - Markantonakis, Konstantinos

AU - Akram, Raja

PY - 2017/8/29

Y1 - 2017/8/29

N2 - Smart cities are a concept of interest to many industrial, academic and government organisations. However, smart cities present a large attack surface to adversaries if every traffic light, power relay and water pipe are connected to the internet. This paper describes the problem of distributing software in a smart city when strong protection of device software, software installation and update provision are required. A set of requirements for a secure software provisioning system is presented and two models for the software distribution are proposed. Three protocols for distributing software are presented that meet the requirements stated. A formal analysis using Tamarin Prover is described that proves the security of the proposed protocols. Finally, an implementation has been developed using a laptop and Raspberry Pi 3 to demonstrate the proposed protocols in action and the performance of them.

AB - Smart cities are a concept of interest to many industrial, academic and government organisations. However, smart cities present a large attack surface to adversaries if every traffic light, power relay and water pipe are connected to the internet. This paper describes the problem of distributing software in a smart city when strong protection of device software, software installation and update provision are required. A set of requirements for a secure software provisioning system is presented and two models for the software distribution are proposed. Three protocols for distributing software are presented that meet the requirements stated. A formal analysis using Tamarin Prover is described that proves the security of the proposed protocols. Finally, an implementation has been developed using a laptop and Raspberry Pi 3 to demonstrate the proposed protocols in action and the performance of them.

U2 - 10.1145/3098954.3103158

DO - 10.1145/3098954.3103158

M3 - Conference contribution

SN - 978-1-4503-5257-4

SP - 1

EP - 9

BT - FARES '17 Proceedings of the 12th International Workshop on Frontiers in Availability, Reliability and Security

PB - ACM

ER -