Stackelberg network interdiction game: nodal model and algorithm | IEEE Conference Publication | IEEE Xplore