An Omniscience-Free Temporal Logic of Knowledge for Verifying Authentication Protocols. - Ahmadi, S.; Fallah, M. S. (Bulletin of the Iranian Mathematical Society, 2018)