@inproceedings{df9c562ef0544dbbafae5dfbbd989247,
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 = "behavior rules, IoT, medical cyber physical systems, zero-day attacks",
author = "Ilsun You and Kangbin Yim and Vishal Sharma and Gaurav Choudhary and Chen, {Ing Ray} and Cho, {Jin Hee}",
year = "2019",
month = feb,
day = "21",
doi = "10.1145/3278576.327860190",
language = "English",
series = "Proceedings - 2018 IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "88--93",
booktitle = "Proceedings: 2018 IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2018",
address = "United States",
note = "3rd IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2018 ; Conference date: 26-09-2018 Through 28-09-2018",
}