On IoT misbehavior detection in 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

3 Citations (Scopus)

Abstract

This article discusses a lightweight behavior rule specification-based monitoring solution for identifying misbehavior of an embedded IoT device. These unusual activities are exhibited because of attacks exploiting the vulnerability exposed through automatic model checking and formal verification. It is conclusive in the presented research that rule specification-based misbehavior detection technique outperforms contemporary anomaly-based misbehavior detection techniques for an unmanned aerial vehicle (UAV) cyber-physical system.

Original languageEnglish
Title of host publicationProceedings - 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing, PRDC 2018
PublisherIEEE Computer Society
Pages189-190
Number of pages2
ISBN (Electronic)9781538657003
ISBN (Print)978-1-5386-5701-0
DOIs
Publication statusPublished - 14 Feb 2019
Event23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018 - Taipei, Taiwan, Province of China
Duration: 04 Dec 201807 Dec 2018

Publication series

NameProceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
PublisherIEEE
Volume2018-December
ISSN (Print)1555-094X
ISSN (Electronic)2473-3105

Conference

Conference23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018
CountryTaiwan, Province of China
CityTaipei
Period04/12/201807/12/2018

Keywords

  • Cyber physical systems
  • Intrusion detection
  • IoT
  • Zero-day attacks

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Science Applications
  • Hardware and Architecture
  • Software

Fingerprint Dive into the research topics of 'On IoT misbehavior detection in cyber physical systems'. Together they form a unique fingerprint.

  • Cite this

    You, I., Yim, K., Sharma, V., Choudhary, G., Chen, I. R., & Cho, J. H. (2019). On IoT misbehavior detection in cyber physical systems. In Proceedings - 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing, PRDC 2018 (pp. 189-190). [8639568] (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC; Vol. 2018-December). IEEE Computer Society. https://doi.org/10.1109/PRDC.2018.00033