Probabilistic Termination and Composability of Cryptographic Protocols Posted February 21, 2017 by Nehora Krolzig