Misbehavior detection of embedded iot devices in medical cyber physical systems

I. You; K. Yim; Vishal Sharma; G. Choudhary; I.-R. Chen; J.-H. Cho

doi:10.1145/3278576.327860190

Misbehavior detection of embedded iot devices in medical cyber physical systems

I. You, K. Yim, Vishal Sharma, G. Choudhary, I.-R. Chen, J.-H. Cho

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

Abstract

We propose a lightweight specification-based misbehavior detection technique to efficiently and effectively detect misbehavior of an IoT device embedded in a medical cyber physical system through automatic model checking and formal verification. We verify our specification-based misbehavior detection technique with a patient-controlled analgesia (PCA) device embedded in a medical health monitoring system.

Original language	English
Title of host publication	2018 IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE)
Publisher	IEEE
Publication date	2018
Pages	88-93
ISBN (Electronic)	978-1-4503-5958-0
DOIs	https://doi.org/10.1145/3278576.327860190
Publication status	Published - 2018
Externally published	Yes

Keywords

IoT
behavior rules
medical cyber physical systems
zero-day attacks

Documents & Links

10.1145/3278576.327860190

Cite this

@inproceedings{4227c5d3f62d4f738fb76bcf5122f6e5,

title = "Misbehavior detection of embedded iot devices in medical cyber physical systems",

abstract = "We propose a lightweight specification-based misbehavior detection technique to efficiently and effectively detect misbehavior of an IoT device embedded in a medical cyber physical system through automatic model checking and formal verification. We verify our specification-based misbehavior detection technique with a patient-controlled analgesia (PCA) device embedded in a medical health monitoring system.",

keywords = "IoT, behavior rules, medical cyber physical systems, zero-day attacks",

author = "I. You and K. Yim and Vishal Sharma and G. Choudhary and I.-R. Chen and J.-H. Cho",

year = "2018",

doi = "10.1145/3278576.327860190",

language = "English",

pages = "88--93",

booktitle = "2018 IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE)",

publisher = "IEEE",

address = "United States",

}

Misbehavior detection of embedded iot devices in medical cyber physical systems. / You, I.; Yim, K.; Sharma, Vishal et al.
2018 IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE). IEEE, 2018. p. 88-93.

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

TY - GEN

T1 - Misbehavior detection of embedded iot devices in medical cyber physical systems

AU - You, I.

AU - Yim, K.

AU - Sharma, Vishal

AU - Choudhary, G.

AU - Chen, I.-R.

AU - Cho, J.-H.

PY - 2018

Y1 - 2018

N2 - We propose a lightweight specification-based misbehavior detection technique to efficiently and effectively detect misbehavior of an IoT device embedded in a medical cyber physical system through automatic model checking and formal verification. We verify our specification-based misbehavior detection technique with a patient-controlled analgesia (PCA) device embedded in a medical health monitoring system.

AB - We propose a lightweight specification-based misbehavior detection technique to efficiently and effectively detect misbehavior of an IoT device embedded in a medical cyber physical system through automatic model checking and formal verification. We verify our specification-based misbehavior detection technique with a patient-controlled analgesia (PCA) device embedded in a medical health monitoring system.

KW - IoT

KW - behavior rules

KW - medical cyber physical systems

KW - zero-day attacks

U2 - 10.1145/3278576.327860190

DO - 10.1145/3278576.327860190

M3 - Article in proceedings

SP - 88

EP - 93

BT - 2018 IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE)

PB - IEEE

ER -

Misbehavior detection of embedded iot devices in medical cyber physical systems

Abstract

Keywords

Documents & Links

Fingerprint

Cite this