Cryptology ePrint Archive: Report 2008/479
Available versions in chronological order
20081118:220014 (posted 18-Nov-2008 22:00:14 UTC)
Formal Proof of Relative Strengths of Security between ECK2007 Model and other Proof Models for Key Agreement Protocols
Xia Jinyue and Wang Jiandong and Fang Liming and Ren Yongjun andBian Shizhu
20081122:061814 (posted 22-Nov-2008 06:18:14 UTC)
Formal Proof of Relative Strengths of Security between ECK2007 Model and other Proof Models for Key Agreement Protocols
Jinyue Xia, Jiandong Wang, Liming Fang, Yongjun Ren and Shizhu Bian
[
Cryptology ePrint archive
]