Stochastic Modeling and Optimization Methods for Critical Infrastructure Protection: Stochastic modeling