A double oracle algorithm for zero-sum security games on graphs · Study