In smart grid networks, the advanced metering infrastructure (AMI) enables sensors and communication networks to measure electricity consumed or generated by users. However, among the challenges to be overcome related to security in the AMI system is resistance to computer attacks, such as impersonation, denial of service, man in the middle, and redirection, which can compromise privacy, confidentiality, and availability of electrical systems. An efficient and effective authentication system is necessary to guarantee the privacy and confidentiality of data without compromising system performance, thus characterizing a challenge (need for a tradeoff between security and performance), which involves limited computing power and bandwidth and a high number of meters to be installed in a certain geographic area. This article introduces a group authentication and key agreement protocol that ensures both confidentiality and privacy of communications and avoids several computer attacks. It showed better communication and computational cost-based performance compared to other protocols. Automated validation of internet security protocols and applications formally validated it, while security protocol animator tool simulated an intrusion, with good results.

中文翻译：

---

用于智能电网中高级计量基础设施的基于云的身份验证和密钥管理协议

在智能电网网络中，高级计量基础设施 (AMI) 使传感器和通信网络能够测量用户消耗或产生的电力。然而，与 AMI 系统的安全性相关的挑战之一是抵抗计算机攻击，例如冒充、拒绝服务、中间人和重定向，这些攻击会损害电气系统的隐私、机密性和可用性。高效且有效的身份验证系统对于在不影响系统性能的情况下保证数据的隐私和机密性是必要的，从而表征了挑战（需要在安全性和性能之间进行权衡），这涉及有限的计算能力和带宽以及大量的仪表安装在特定的地理区域。本文介绍了一种组身份验证和密钥协商协议，可确保通信的机密性和私密性并避免多种计算机攻击。与其他协议相比，它显示出更好的通信和基于计算成本的性能。互联网安全协议和应用程序的自动验证对其进行了形式化验证，而安全协议动画工具模拟了一次入侵，并取得了良好的效果。