A Stochastic Network-Interdiction Model For Cyber Security | IEEE Conference Publication | IEEE Xplore