Ahmadi, S. et al. 2019. On the Properties of Epistemic and Temporal Epistemic Logics of Authentication. Informatica. 43, 2 (Jun. 2019). DOI:https://doi.org/10.31449/inf.v43i2.1617.