S. Ahmadi, M. S. Fallah, and M. Pourmahdian, “On the Properties of Epistemic and Temporal Epistemic Logics of Authentication”, IJCAI, vol. 43, no. 2, Jun. 2019.