Adaptive Intrusion Detection of Malicious Unmanned Air Vehicles Using Behavior Rule Specifications | Synapse