@misc{cryptoeprint:2008:479,
    author = {Xia Jinyue and Wang Jiandong and Fang Liming and Ren Yongjun andBian Shizhu},
    title = {Formal Proof of Relative Strengths of Security between ECK2007 Model and other Proof Models for Key Agreement Protocols},
    howpublished = {Cryptology ePrint Archive, Report 2008/479},
    year = {2008},
    url = {http://eprint.iacr.org/2008/479},
}