Email Record: Stochastic modeling and optimization methods for critical infrastructure protection.