Smart city can improve the efficiency of managing assets and resources, optimize urban services and improve the quality of citizens’ life. Wireless sensor networks (WSNs) can solve many problems in smart city, such as smart transportation, smart healthcare and smart energy. However, security and privacy are the biggest challenges for WSN. Recently, Banerjee et al. proposed a security-enhanced authentication and key agreement scheme for WSN, but their scheme cannot resist offline password guessing attack, impersonation attack, and does not achieve session key secrecy, identity unlinkability, and perfect forward secrecy. In order to fix these flaws, a secure and privacy-preserving authentication protocol for WSN in smart city is proposed. We prove the security of the proposed protocol by using applied pi calculus-based formal verification tool ProVerif and show that it has high computational efficiency by comparison with some related schemes.

智慧城市可以提高资产和资源管理的效率，优化城市服务，并改善市民的生活质量。无线传感器网络（WSN）可以解决智慧城市中的许多问题，例如智慧交通，智慧医疗保健和智慧能源。但是，安全性和隐私性是WSN面临的最大挑战。最近，Banerjee等人。提出了一种用于WSN的安全性增强的身份验证和密钥协商方案，但该方案无法抵抗脱机密码猜测攻击，模拟攻击，并且无法实现会话密钥保密性，身份不可链接性和完美的前向保密性。为了解决这些缺陷，提出了一种智能城市中用于无线传感器网络的安全且隐私保护的身份验证协议。