Malele V, Mandinyenya G. Tamarin-based verification of authentication protocols in smart city IoT. ijirss [Internet]. 2025 Dec. 15 [cited 2026 Jan. 2];8(12):236-44. Available from: http://www.ijirss.com/index.php/ijirss/article/view/11065