Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Adhikary, Sunandan, Koley, Ipsita, Ghosh, Sumana, Ghosh, Saurav Kumar, Dey, Soumyajit, Mukhopadhyay, Debdeep
Format: Preprint
Publié: 2020
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866929446142869504
author Adhikary, Sunandan
Koley, Ipsita
Ghosh, Sumana
Ghosh, Saurav Kumar
Dey, Soumyajit
Mukhopadhyay, Debdeep
author_facet Adhikary, Sunandan
Koley, Ipsita
Ghosh, Sumana
Ghosh, Saurav Kumar
Dey, Soumyajit
Mukhopadhyay, Debdeep
contents We consider the problem of provably securing a given control loop implementation in the presence of adversarial interventions on data exchange between plant and controller. Such interventions can be thwarted using continuously operating monitoring systems and also cryptographic techniques, both of which consume network and computational resources. We provide a principled approach for intentional skipping of control loop executions which may qualify as a useful control theoretic countermeasure against stealthy attacks which violate message integrity and authenticity. As is evident from our experiments, such a control theoretic counter-measure helps in lowering the cryptographic security measure overhead and resulting resource consumption in Control Area Network (CAN) based automotive CPS without compromising performance and safety.
format Preprint
id arxiv_https___arxiv_org_abs_2007_08121
institution arXiv
publishDate 2020
record_format arxiv
spellingShingle Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions
Adhikary, Sunandan
Koley, Ipsita
Ghosh, Sumana
Ghosh, Saurav Kumar
Dey, Soumyajit
Mukhopadhyay, Debdeep
Cryptography and Security
Systems and Control
We consider the problem of provably securing a given control loop implementation in the presence of adversarial interventions on data exchange between plant and controller. Such interventions can be thwarted using continuously operating monitoring systems and also cryptographic techniques, both of which consume network and computational resources. We provide a principled approach for intentional skipping of control loop executions which may qualify as a useful control theoretic countermeasure against stealthy attacks which violate message integrity and authenticity. As is evident from our experiments, such a control theoretic counter-measure helps in lowering the cryptographic security measure overhead and resulting resource consumption in Control Area Network (CAN) based automotive CPS without compromising performance and safety.
title Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions
topic Cryptography and Security
Systems and Control
url https://arxiv.org/abs/2007.08121