Differential games and applications to counter-terrorism