Using Animation in Active Learning Tool to Detect Possible Attacks in Cryptographic Protocols. - Mabroka Ali Mayouf; Zarina Shukur (IVIC, 2009)