A new hierarchical and scalable group key exchange protocol with XOR operation

With the rapid development of the technology of group broadcast, distributed computation and wireless network, how to construct a secure Group Key Exchange (GKE) protocol for a number of participants on channels is drawing more and more attention. Meanwhile, security analysis of cryptographic protocol has been a hotspot. Symbolic analysis is a major approach to analyse the security of protocols. In this paper, we propose a GKE protocol originated from a two-participant key exchange protocol and prove that the protocol is secure. We represent the protocol as processes in the spi calculus, and state their security properties as queries in ProVerif, an automatic analyser based on spi calculus.