Ahmadi, Sharar, Mehran S. Fallah, and Massoud Pourmahdian. “On the Properties of Epistemic and Temporal Epistemic Logics of Authentication”. Informatica 43, no. 2 (June 15, 2019). Accessed June 23, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/1617.