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	New Verification Method Based on Rotation Invariant Moments
Author	Amin Dehghani, Aboozar Moradi, Maryam Dehghani
Citation	Vol. 12  No. 9  pp. 102-106
Keywords	Verification method; retinal images; rotation invariant moment; DRIVE and STARE database