Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability. - Silvia S. Pelozo; Pedro R. D'Argenio (TGC, 2012)