Title	Security Vulnerabilities and Solutions in Mobile WiMAX
Author	Andreas Deininger, Shinsaku Kiyomoto, Jun Kurihara, Toshiaki Tanaka
Citation	Vol. 7  No. 11  pp. 7-15
Keywords	IEEE 802.16e security, multi- and broadcast service, shared key vulnerability, hash chaining solution

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	Security Analysis of Access Linux Platform
Author	Andreas Sj?str?m, Kazuhide Fukushima, Shinsaku Kiyomoto, Wook Shin, Toshiaki Tanaka
Citation	Vol. 10  No. 5  pp. 12-18
Keywords	Access Linux, Security, Open Platform, Mobile, Vulnerability

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