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