Ahmadi, S.; Fallah, M. S.; Pourmahdian, M. On the Properties of Epistemic and Temporal Epistemic Logics of Authentication. Informatica 2019, 43 (2). https://doi.org/10.31449/inf.v43i2.1617.