Saraireh, Ja’afer M. al, Saleh S. Saraireh, Mohammad S. Saraireh, and Mohammad M. al Nabhan. 2011. “Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol”. Journal of Computer Science and Technology 11 (02):p. 86-92. https://journal.info.unlp.edu.ar/JCST/article/view/673.