@misc{cryptoeprint:2011:460,
    author = {Zijian Zhang and Liehuang Zhu and Lejian Liao},
    title = {Computationally sound symbolic security reduction analysis of group key exchange protocol using bilinear pairings},
    howpublished = {Cryptology ePrint Archive, Report 2011/460},
    year = {2011},
    url = {http://eprint.iacr.org/2011/460},
}