Model Checking Probabilistic Network Propagation Protection Strategies | IEEE Conference Publication | IEEE Xplore