Saraireh, J. M. al, S. S. Saraireh, M. S. Saraireh, and M. M. al Nabhan. “Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol”. Journal of Computer Science and Technology, vol. 11, no. 02, Oct. 2011, pp. p. 86-92, https://journal.info.unlp.edu.ar/JCST/article/view/673.