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