To Be Proactive or Not: A Framework to Model Cyber Maneuvers for Critical Path Protection in MANETs