Joy, SP, Chandran P.  2019.  A formal framework for verifying IKA property of protocols. Journal of King Saud University-Computer and Information Sciences. 31:318?326., Number 3: Elsevier