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