“On the Properties of Epistemic and Temporal Epistemic Logics of Authentication”. Informatica 43, no. 2 (June 15, 2019). Accessed June 22, 2026. https://www.informatica.si/index.php/informatica/article/view/1617.