Model Checking Probabilistic Network Propagation Protection Strategies.

Zonghao Guo, Ou Wei, Peng Yu, Lansheng Han, Weiming Wu

Browse the full TrustCom paper archive.