We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems.
- Authors
Mitchell, Robert; Chen, Ing-Ray
- Abstract
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 devices as an example, we demonstrate that our intrusion detection technique can effectively trade false positives off for a high detection probability to cope with more sophisticated and hidden attackers to support ultra safe and secure MCPS applications. Moreover, through a comparative analysis, we demonstrate that our behavior-rule specification-based IDS technique outperforms two existing anomaly-based techniques for detecting abnormal patient behaviors in pervasive healthcare applications.
- Subjects
INTRUSION detection systems (Computer security); FINITE state machines; MEDICAL technology management; MEDICAL equipment; COMPUTER crime prevention; IDS (Computer program language)
- Publication
IEEE Transactions on Dependable & Secure Computing, 2015, Vol 12, Issue 1, p16
- ISSN
1545-5971
- Publication type
Article
- DOI
10.1109/TDSC.2014.2312327