Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 313-317 |
| Number of pages | 5 |
| Journal | Dongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Southeast University (Natural Science Edition) |
| Volume | 40 |
| Issue number | SUPPL. 2 |
| Publication status | Published - Nov 2010 |
Keywords
- Compiler
- Group key exchange
- Insider attack
- Provable secure