A Compiler for Group Key Exchange Protocol to Resist Insider Attack in Universally Composable Framework

The problem of group key exchange protocol to resist insider attack has been widely analyzed and studied. But in universally composable framework, there are not compilers which can directly compile a group key exchange protocol to the protocol which can resist insider attack yet. So this paper designs and analyzes this kind of compilers in universally composable framework, and proves that the protocols from the our compilers are secure to resist insider attack.