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