Joy, SP, Chandran P.  2017.  A formal framework for verifying ?KA\} property of protocols. Journal of King Saud University - Computer and Information Sciences. :-.