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]
No references recorded for this publication.
No citations of this publication recorded.