Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems

Keyphrases

• Cyber-physical Systems 100%
• Program Anomaly Detection 100%
• Event-aware 100%
• Cyber-physical 75%
• Control Program 75%
• Finite Automata 75%
• Execution Semantics 75%
• Data Injection Attack 75%
• State Transition 50%
• Data-oriented 50%
• Orpheus 50%
• Physical Systems 25%
• Instantiation 25%
• Event-triggered Control 25%
• State Dependence 25%
• Behavioral Model 25%
• System Control 25%
• Physical Context 25%
• Anomaly Detection 25%
• Program Control 25%
• Consistency Checking 25%
• Detection Mechanism 25%
• Dependence Analysis 25%
• Control Flow 25%
• Low Overhead 25%
• Malicious Attacks 25%
• Physical Events 25%
• Runtime Information 25%
• Security Practices 25%
• Identification Analysis 25%
• Integrity Checking 25%
• Program Behavior 25%
• Control-oriented 25%
• Context Event 25%
• Causal Dependency 25%
• Raspberry Pi 25%
• Event Identification 25%
• Event Dependence 25%
• Non-control Data Attacks 25%
• Code-reuse Attacks 25%
• Semantic Checking 25%
• Contextual Consistency 25%
• Irreparable Damage 25%
• Code Injection 25%
• Runtime Attacks 25%

Computer Science

• Cyber Physical Systems 100%
• Anomaly Detection 100%
• State Automaton 75%
• State Transition 50%
• Case Study 25%
• Physical System 25%
• Instantiation 25%
• Paramount Importance 25%
• Dependence Analysis 25%
• Control Flow 25%
• Detection Mechanism 25%
• consistency checking 25%
• Running Program 25%
• Integrity Checking 25%
• Malicious Attack 25%
• Code Reuse 25%
• Physical Context 25%
• Raspberry Pi 25%
• Event Identification 25%
• Behavior Model 25%
• Security Methodology 25%
• Code Injection 25%
• Identification Analysis 25%