Malele, Vusimuzi, and Godwin Mandinyenya. “Tamarin-Based Verification of Authentication Protocols in Smart City IoT”. International Journal of Innovative Research and Scientific Studies 8, no. 12 (December 15, 2025): 236–244. Accessed January 2, 2026. https://ijirss.com/index.php/ijirss/article/view/11065.