MALELE, V. .; MANDINYENYA, G. . Tamarin-based verification of authentication protocols in smart city IoT. International Journal of Innovative Research and Scientific Studies, [S. l.], v. 8, n. 12, p. 236–244, 2025. DOI: 10.53894/ijirss.v8i12.11065. Disponível em: http://www.ijirss.com/index.php/ijirss/article/view/11065. Acesso em: 2 jan. 2026.