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, 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]

Authors

Jinyue Xia

This author has not been identified. Look up 'Jinyue Xia' in Google

Jiandong Wang

This author has not been identified. Look up 'Jiandong Wang' in Google

Liming Fang

This author has not been identified. Look up 'Liming Fang' in Google

Yongjun Ren

This author has not been identified. Look up 'Yongjun Ren' in Google

Shizhu Bian

This author has not been identified. Look up 'Shizhu Bian' in Google