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. JCS&T 2011, 11, p. 86-92.