J. M. al Saraireh, S. S. Saraireh, M. S. Saraireh, and M. M. al Nabhan, “Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol”, JCS&T, vol. 11, no. 02, pp. p. 86–92, Oct. 2011.