AHMADI, Sharar; FALLAH, Mehran S.; POURMAHDIAN, Massoud. On the Properties of Epistemic and Temporal Epistemic Logics of Authentication. Informatica, [S. l.], v. 43, n. 2, 2019. DOI: 10.31449/inf.v43i2.1617. Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/1617. Acesso em: 23 jun. 2025.