On IoT misbehavior detection in cyber physical systems

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

doi:10.1109/PRDC.2018.00033

On IoT misbehavior detection in cyber physical systems

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

School of Electronics, Electrical Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

15 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 language	English
Title of host publication	Proceedings - 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing, PRDC 2018
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	189-190
Number of pages	2
ISBN (Electronic)	9781538657003
ISBN (Print)	978-1-5386-5701-0
DOIs	https://doi.org/10.1109/PRDC.2018.00033
Publication status	Published - 14 Feb 2019
Event	23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018 - Taipei, Taiwan, Province of China Duration: 04 Dec 2018 → 07 Dec 2018

Publication series

Name	Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
Publisher	IEEE
Volume	2018-December
ISSN (Print)	1555-094X
ISSN (Electronic)	2473-3105

Conference

Conference	23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018
Country/Territory	Taiwan, Province of China
City	Taipei
Period	04/12/2018 → 07/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

Access to Document

10.1109/PRDC.2018.00033Licence: Unspecified

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). Article 8639568 (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC; Vol. 2018-December). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/PRDC.2018.00033

You, Ilsun ; Yim, Kangbin ; Sharma, Vishal et al. / On IoT misbehavior detection in cyber physical systems. Proceedings - 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing, PRDC 2018. Institute of Electrical and Electronics Engineers Inc., 2019. pp. 189-190 (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC).

@inproceedings{adeba32229564633973b862c9f9c2882,

title = "On IoT misbehavior detection in cyber physical systems",

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.",

keywords = "Cyber physical systems, Intrusion detection, IoT, 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 = "14",

doi = "10.1109/PRDC.2018.00033",

language = "English",

isbn = "978-1-5386-5701-0",

series = "Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "189--190",

booktitle = "Proceedings - 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing, PRDC 2018",

address = "United States",

note = "23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018 ; Conference date: 04-12-2018 Through 07-12-2018",

}

You, I, Yim, K, Sharma, V, Choudhary, G, Chen, IR & Cho, JH 2019, On IoT misbehavior detection in cyber physical systems. in Proceedings - 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing, PRDC 2018., 8639568, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, vol. 2018-December, Institute of Electrical and Electronics Engineers Inc., pp. 189-190, 23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, Province of China, 04/12/2018. https://doi.org/10.1109/PRDC.2018.00033

On IoT misbehavior detection in cyber physical systems. / You, Ilsun; Yim, Kangbin; Sharma, Vishal et al.
Proceedings - 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing, PRDC 2018. Institute of Electrical and Electronics Engineers Inc., 2019. p. 189-190 8639568 (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC; Vol. 2018-December).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - On IoT misbehavior detection in cyber physical systems

AU - You, Ilsun

AU - Yim, Kangbin

AU - Sharma, Vishal

AU - Choudhary, Gaurav

AU - Chen, Ing Ray

AU - Cho, Jin Hee

PY - 2019/2/14

Y1 - 2019/2/14

N2 - 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.

AB - 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.

KW - Cyber physical systems

KW - Intrusion detection

KW - IoT

KW - Zero-day attacks

UR - http://www.scopus.com/inward/record.url?scp=85062846413&partnerID=8YFLogxK

U2 - 10.1109/PRDC.2018.00033

DO - 10.1109/PRDC.2018.00033

M3 - Conference contribution

AN - SCOPUS:85062846413

SN - 978-1-5386-5701-0

T3 - Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

SP - 189

EP - 190

BT - Proceedings - 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing, PRDC 2018

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018

Y2 - 4 December 2018 through 7 December 2018

ER -

You I, Yim K, Sharma V, Choudhary G, Chen IR, Cho JH. On IoT misbehavior detection in cyber physical systems. In Proceedings - 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing, PRDC 2018. Institute of Electrical and Electronics Engineers Inc. 2019. p. 189-190. 8639568. (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC). doi: 10.1109/PRDC.2018.00033

On IoT misbehavior detection in cyber physical systems

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this