Universally Composable Group Key Exchange Protocol

In this article, a universally composable group key exchange ideal function is proposed and realized using witness indistinguishable proof of knowledge with partially isolated party based on the tamper-proof hardware token. Compared with protocols under the CRS model, the group key exchange protocol can greatly reduce the risk of putting all trusts in one place. The protocol is proved to be AKE secure and resistant to the attacks of adaptive adversaries and malicious insiders.