A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems
2015
IEEE Transactions on Dependable and Secure Computing
We propose and analyze a behavior-rule specification-based technique for intrusion detection of medical devices embedded in a medical cyber physical system (MCPS) in which the patient's safety is of the utmost importance. We propose a methodology to transform behavior rules to a state machine, so that a device that is being monitored for its behavior can easily be checked against the transformed state machine for deviation from its behavior specification. Using vital sign monitor medical
doi:10.1109/tdsc.2014.2312327
fatcat:zxq4sedh25ff7ocwpp64d4tsmi