Ahmadi, Sharar, et al. “On the Properties of Epistemic and Temporal Epistemic Logics of Authentication”. Informatica, vol. 43, no. 2, June 2019, doi:10.31449/inf.v43i2.1617.