Design and Analysis of Intrusion Detection Protocols in Cyber Physical Systems
Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems