Secure waste collection approach for smart cities

The substantial increase in urban waste raises serious health concerns for the city, highlighting the requirement for an efficient waste collection system within cities. The traditional approach to waste collection is time-consuming, inefficient, unreliable, and lacks real-time assessment. While the incorporation of advanced information technology has extensively benefited the waste collection system in the city, security risks or performance deficiencies still persist. Therefore, in this paper, we introduce a secure waste collection approach for smart cities. Our methodology employs the AVISPA tool and Mao and Boyd’s logic for the security analysis of the proposed scheme. Furthermore, informal security analysis shows the theoretical proof for the immunity of the proposed scheme to other potential cryptographic attacks. Finally, the extensive comparative security analysis, computational efficiency, and storage overhead illustrate that the proposed scheme achieves convincing security improvements and efficient computational and storage overhead.