An Advance Visual Model for Animating Behavior of Cryptographic Protocols. - Mabroka Ali Mayouf Maeref; Fatma Alghali; Khadija Abied (J. Comput., 2015)