Skip to main content

Network Scheduling for Secure Cyber-Physical Systems

Publication ,  Conference
Lesi, V; Jovanov, I; Pajic, M
Published in: Proceedings - Real-Time Systems Symposium
July 2, 2017

Existing design techniques for providing security guarantees against network-based attacks in cyber-physical systems (CPS) are based on continuous use of standard cryptographic tools to ensure data integrity. This creates an apparent conflict with common resource limitations in these systems, given that, for instance, lengthy message authentication codes (MAC) introduce significant overheads. We present a framework to ensure both timing guarantees for real-time network messages and Quality-of-Control (QoC) in the presence of network-based attacks. We exploit physical properties of controlled systems to relax constant integrity enforcement requirements, and show how the problem of feasibility testing of intermittently authenticated real-time messages can be cast as a mixed integer linear programming problem. Besides scheduling a set of real-time messages with predefined authentication rates obtained from QoC requirements, we show how to optimally increase the overall system QoC while ensuring that all real-time messages are schedulable. Finally, we introduce an efficient runtime bandwidth allocation method, based on opportunistic scheduling, in order to improve QoC. We evaluate our framework on a standard benchmark designed for CAN bus, and show how an infeasible message set with strong security guarantees can be scheduled if dynamics of controlled systems are taken into account along with real-time requirements.

Duke Scholars

Published In

Proceedings - Real-Time Systems Symposium

DOI

ISSN

1052-8725

Publication Date

July 2, 2017

Volume

2018-January

Start / End Page

45 / 55
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Lesi, V., Jovanov, I., & Pajic, M. (2017). Network Scheduling for Secure Cyber-Physical Systems. In Proceedings - Real-Time Systems Symposium (Vol. 2018-January, pp. 45–55). https://doi.org/10.1109/RTSS.2017.00012
Lesi, V., I. Jovanov, and M. Pajic. “Network Scheduling for Secure Cyber-Physical Systems.” In Proceedings - Real-Time Systems Symposium, 2018-January:45–55, 2017. https://doi.org/10.1109/RTSS.2017.00012.
Lesi V, Jovanov I, Pajic M. Network Scheduling for Secure Cyber-Physical Systems. In: Proceedings - Real-Time Systems Symposium. 2017. p. 45–55.
Lesi, V., et al. “Network Scheduling for Secure Cyber-Physical Systems.” Proceedings - Real-Time Systems Symposium, vol. 2018-January, 2017, pp. 45–55. Scopus, doi:10.1109/RTSS.2017.00012.
Lesi V, Jovanov I, Pajic M. Network Scheduling for Secure Cyber-Physical Systems. Proceedings - Real-Time Systems Symposium. 2017. p. 45–55.

Published In

Proceedings - Real-Time Systems Symposium

DOI

ISSN

1052-8725

Publication Date

July 2, 2017

Volume

2018-January

Start / End Page

45 / 55