On The Indistinguishability-Based Security Model of Key Agreement Protocols-Simple Cases. - Zhaohui Cheng; Manos Nistazakis; Richard Comley; Luminita Vasiu (IACR Cryptol. ePrint Arch., 2005)