Jinyue Xia, Jiandong Wang, Liming Fang, Yongjun Ren, Shizhu Bian. Formal Proof of Relative Strengths of Security between ECK2007 Model and other Proof Models for Key Agreement Protocols. IACR Cryptology ePrint Archive, 2008:479, 2008. [doi]
Abstract is missing.