Ahmadi, S.; Fallah, M. S.; Pourmahdian, M. On the Properties of Epistemic and Temporal Epistemic Logics of Authentication. IJCAI 2019, 43.