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