Misbehavior detection of embedded ioT devices in medical cyber physical systems

Ilsun You, Kangbin Yim, Vishal Sharma, Gaurav Choudhary, Ing Ray Chen, Jin Hee Cho

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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 languageEnglish
Title of host publicationProceedings: 2018 IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages88-93
Number of pages6
ISBN (Electronic)9781538672068
DOIs
Publication statusPublished - 21 Feb 2019
Externally publishedYes
Event3rd IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2018 - Washington, United States
Duration: 26 Sep 201828 Sep 2018

Publication series

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

Conference

Conference3rd IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2018
CountryUnited States
CityWashington
Period26/09/201828/09/2018

Keywords

  • behavior rules
  • IoT
  • medical cyber physical systems
  • zero-day attacks

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Biomedical Engineering
  • Health(social science)
  • Communication
  • Software
  • Computer Science Applications
  • Health Informatics

Fingerprint Dive into the research topics of 'Misbehavior detection of embedded ioT devices in medical cyber physical systems'. Together they form a unique fingerprint.

Cite this