| Abstract |
With the development and practical application of 5G technology, the construction of smart cities has progressed into an entirely new level. Mobile wireless networks in smart cities provide people with ubiquitous network services, thereby making the entire city organic. However, the open character of such wireless networks results in network security issues. As a result, people suffer from potential network threats while enjoying the convenience of wireless networks. To solve this problem, various roaming authentication protocols for mobile network are proposed. We find that a contradiction exists between user anonymity and resistance to denial of service (DoS) attacks. Most current protocols attach importance to user privacy protection. Hence, they are vulnerable to DoS attacks, which cause network paralysis. We put forward an anonymous authentication protocol with DoS resistance for smart cities by overcoming the defects of the protocol of Xie et al. Then, two formal validation tools, namely, ProVerif and BAN logic, are introduced to verify the security of our scheme. Security analyses indicate that our protocol not only meets many known security properties but also shows higher efficiency compared with related works. In addition, the proposed protocol achieves a good balance between user anonymity and DoS attack resistance, while many other schemes failed to do so because they ignore this type of attack. Thus, it is more suitable for smart cities. |
