SARAIREH, J. M. al; SARAIREH, S. S.; SARAIREH, M. S.; NABHAN, M. M. al. Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol. Journal of Computer Science and Technology, [S. l.], v. 11, n. 02, p. p. 86–92, 2011. Disponível em: https://journal.info.unlp.edu.ar/JCST/article/view/673. Acesso em: 8 sep. 2024.