Saraireh, J.M. al, Saraireh, S.S., Saraireh, M.S. and Nabhan, M.M. al 2011. Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol. Journal of Computer Science and Technology. 11, 02 (Oct. 2011), p. 86–92.