Secure and efficient software-based attestation for industrial control devices with arm processors

Loading...
Thumbnail Image
File version

Accepted Manuscript (AM)

Author(s)
Chen, B
Dong, X
Bai, G
Jauhar, S
Cheng, Y
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2017
Size
File type(s)
Location

Orlando, USA

License
Abstract

For industrial control systems, ensuring the software integrity of their devices is a key security requirement. A pure software-based attestation solution is highly desirable for protecting legacy field devices that lack hardware root of trust (e.g., Trusted Platform Module). However, for the large population of field devices with ARM processors, existing software-based attestation schemes either incur long attestation time or are insecure. In this paper, we design a novel memory stride technique that significantly reduces the attestation time while remaining secure against known attacks and their advanced variants on ARM platform. We analyze the scheme's security and performance based on the formal framework proposed by Armknecht et al. [7] (with a necessary change to ensure its applicability in practical settings). We also implement memory stride on two models of real-world power grid devices that are widely deployed today, and demonstrate its superior performance.

Journal Title
Conference Title

ACSAC 2017: Proceedings of the 33rd Annual Computer Security Applications Conference

Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

© ACM, 2017. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACSAC 2017: Proceedings of the 33rd Annual Computer Security Applications Conference, ISBN: 978-1-4503-5345-8, https://doi.org/10.1145/3134600.3134621

Item Access Status
Note
Access the data
Related item(s)
Subject

Artificial intelligence

Software engineering

Persistent link to this record
Citation

Chen, B; Dong, X; Bai, G; Jauhar, S; Cheng, Y, Secure and efficient software-based attestation for industrial control devices with arm processors, ACSAC 2017: Proceedings of the 33rd Annual Computer Security Applications Conference, 2017, pp. 425-436