Lightweight Misbehavior Detection Management of Embedded IoT Devices in Medical Cyber Physical Systems
2020
We propose a lightweight specification-based misbehavior detection management 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. Through extensive ns3 simulation, we verify its superior performance over popular machine learning anomaly detection methods based on support vector machine (SVM) and k-nearest neighbors (KNN) techniques in both effectiveness and efficiency performance metrics.
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
30
References
4
Citations
NaN
KQI