Probabilistic Analysis and Verification of the ASW Protocol using PRISM. - Salekul Islam; Mohammad Abu Zaid (Int. J. Netw. Secur., 2008)