A Comparative Analysis of Tools for Verification of Security Protocols. - Nitish Dalal; Jenny Shah; Khushboo Hisaria; Devesh Jinwala (Int. J. Commun. Netw. Syst. Sci., 2010)