Saraireh, J. M. al, Saraireh, S. S., Saraireh, M. S., & Nabhan, M. M. al. (2011). Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol. Journal of Computer Science and Technology, 11(02), p. 86–92. Retrieved from https://journal.info.unlp.edu.ar/JCST/article/view/673