Title	Fiscal Cash Register Embedded System Test with Scenario Pattern
Author	REN Yu
Citation	Vol. 6  No. 5  pp. 38-41
Keywords	Embedded System, Scenario Pattern, Verification Pattern, ACDATE, Fiscal Cash Register

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 Comparative Study on the Performance of National Address Database (NAD) on the Grid
Author	Mahmud Hasan, Sadim Mahmud, Yamin Mola
Citation	Vol. 11  No. 7  pp. 62-67
Keywords	Grid Server, Manager, Executor, Address Verification (Match Address), Web Client.