The popularity of the IoT has recently increased due to the proliferation of IoT applications in various industries. Users can remotely access and control IoT appliances and devices from anywhere. Distributed IoT devices and smart environments have limited computing power. The attacker communicates through an open channel with the smart home environment. However, the secure access and privacy of smart devices are also a big challenge in smart home IoT (SH-IoT) networks. Robust and lightweight authentication protocols are required in SH-IoT environments to ensure security. In this paper, we propose a Secure Authenticated Scheme for Smart Home (SASSH) for smart home networks to provide secure communication. Moreover, this paper also provides an informal and formal analysis of the proposed scheme. The simulation analysis of the proposed scheme is done for validation usingthe AVISPA tool to determine whether it is secure. Our proposed scheme, which utilizes the AVISPAtool and RoR model, demonstrates high functionality, computational efficiency, and cost-effectiveness.