Wireless group communication has gained much popularity recently due to the increase in portable, lightweight devices. These devices are capable of performing group communication by enabling every participant to agree upon a group key for secure communication in an insecure network. Many authenticated group key agreement schemes have been proposed, but most of the schemes lack the dynamic property of mobile node joining/leaving the group such that the session key is updated without affecting the protocol. In this paper, we propose a pairing-free certificateless authenticated group key agreement protocol based on elliptic curve cryptosystem for resource-constrained mobile nodes. The objective of the proposed key-agreement protocol is to ensure the un-deniability of any message exchanged between the sender and receiver, contributory property for group key agreement, and allowing mobile users to join or leave the group dynamically by enabling forward and backward secrecy. Through the rigorous security analysis, we show that the proposed scheme achieves the well-known security functionalities against various types of attacks using informal security analysis and rigorous formal analysis using the random oracle model. Moreover, the protocol validation result using broadly-accepted automated validation of internet security protocols and applications shows that the protocol is safe under OFMC and CL-AtSe back-ends. Furthermore, the result of performance analysis shows that our proposed scheme achieves desirable security properties as compared to the existing related schemes by reducing the overall computation and communication cost despite a gradual increase in the number of participating mobile nodes.

中文翻译：

---

CL-AGKA：用于移动网络的无证书的已认证组密钥协议协议

由于便携式轻便设备的增加，无线组通信最近变得非常流行。这些设备能够通过使每个参与者都同意在不安全网络中进行安全通信的组密钥来执行组通信。已经提出了许多认证的组密钥协议方案，但是大多数方案缺乏加入/离开组的移动节点的动态特性，使得会话密钥被更新而不影响协议。本文针对资源受限的移动节点，提出了一种基于椭圆曲线密码体制的免配对的免认证的无认证组密钥协商协议。拟议的密钥协商协议的目的是确保发送方和接收方之间交换的任何消息都不可否认，组密钥协议的贡献性属性，并通过启用前向和后向保密性，允许移动用户动态加入或离开组。通过严格的安全性分析，我们表明，该方案使用非正式的安全性分析和使用随机预言模型的严格的形式化分析，可以实现针对各种类型攻击的众所周知的安全功能。此外，使用广泛接受的Internet安全协议和应用程序自动验证的协议验证结果表明，该协议在OFMC和CL-AtSe后端下是安全的。此外，