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

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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.

Originalsprog	Engelsk
Titel	2018 IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE)
Forlag	IEEE
Publikationsdato	2018
Sider	88-93
ISBN (Elektronisk)	978-1-4503-5958-0
DOI	https://doi.org/10.1145/3278576.327860190
Status	Udgivet - 2018
Udgivet eksternt	Ja

Dokumenter og links

10.1145/3278576.327860190

Citationsformater

@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. s. 88-93.

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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

Dokumenter og links

Fingeraftryk

Citationsformater