Saraireh JM al, Saraireh SS, Saraireh MS, Nabhan MM al. Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol. JCS&T [Internet]. 2011 Oct. 3 [cited 2024 Sep. 8];11(02):p. 86-92. Available from: https://journal.info.unlp.edu.ar/JCST/article/view/673