An compiler for effective group key exchange protocol to resist insider attack

It requires calling two different protocol compilers to design group key exchange protocols that can resist insider attack, which leads the inefficient execution of the protocol and the high design complexity of the protocol. Therefore, a new compiler which just compiles the protocol once is proposed to generate a protocol that can resist insider attack by improving the previous compilers. Then the security properties of the protocol generated by the proposed compiler are analyzed and it is rigorously proved that it can resist insider attack in a random oracle model. Finally, comparative analysis shows that the protocol generated by the proposed compiler has higher efficiency and lower design complexity than the protocol generated by the previous compilers.