Reasoning about Probabilistic Defense Mechanisms against Remote Attacks | Publicación