Title	Security Verification for Authentication and Key Exchange Protocols
Author	Haruki Ota, Shinsaku Kiyomoto, Toshiaki Tanaka
Citation	Vol. 9  No. 3  pp. 1-11
Keywords	Security Verification Method, Authentication and Key Exchange Protocols, Verification Points, Bellare et al.'s Model, Ubiquitous Environment

Title	Fast and Automatic Verification of Authentication and Key Exchange Protocols
Author	Haruki Ota, Shinsaku Kiyomoto, Yutaka Miyake
Citation	Vol. 11  No. 4  pp. 1-13
Keywords	Security Verification Method, Authentication and Key Exchange Protocols, Verification Points, Bellare et al.'s Model

Title	A Novel Secure Authenticated Key Exchange Protocol for Wireless Sensor Networks
Author	Tamer Barakat
Citation	Vol. 12  No. 12  pp. 136-140
Keywords	Cryptography, sensor networks, key exchange protocol, perfect forward secrecy, self-organizing

Title	A Novel Proposal of Exchanging Key for Symmetric Key Cryptosystems
Author	Viet Hoang Van, Truyen Bui The, Dung Luu Hong, Duc Tong Minh
Citation	Vol. 16  No. 2  pp. 10-14
Keywords	Key Establishment, Key Agreement Protocols, Key Exchange Protocol, Key Transport Protocols.