The goal of this study is to investigate a behavior-rule based technique for detecting the malicious behavior of the sensors and actuators embedded in medical devices such as Vital Sign Monitor (VSM), Patient Analgesic Control (PCA), Cardiac Device (CD), and Continuous Glaucous Monitor (CGM). First, a set of behavior rules for both malicious and normal behaviors are proposed. Second, a transformation methodology has been used to transfer the proposed set of behavior rules into a state machine. Finally, a Finite State Machine (FSM) has been built using Altera ModelSim and Quartus II toolset. The simulation and synthesis results using a Field Programmable Gate Array (FPGA) demonstrate that our FSM hardware model can effectively identify malicious behavior from normal behavior
