Title	Design of Software Security Verification with Formal Method Tools
Author	Seung-Ju Jang, Jungwoo Ryoo, ChangYeol Lee
Citation	Vol. 6  No. 9  pp. 163-167
Keywords	Software Security, Verification, Formal Method Tools, RoZ.

Title	An Advanced Mutual-Authentication Algorithm Using AES for RFID Systems
Author	Batbold Toiruul, KyungOh Lee
Citation	Vol. 6  No. 9  pp. 156-162
Keywords	RFID, AES, cryptograph.

Title	The NATORM Group Communication Mechanism for Intrusion Tolerant System
Author	Jong-Whoi Shin, Chong-Sun Hwang
Citation	Vol. 6  No. 9  pp. 151-155
Keywords	ITS (Intrusion Tolerant System), NATORM (NACK-based Total-ordered Reliable Multicast mechanism), Replicated members, Total-ordered.

Title	Lifetime Maximization by Cross-Layer Design considering Power Control, MAC, Routing in Sensor Networks
Author	In-Yeup Kong, JongGyu Kim, Won-Joo Hwang
Citation	Vol. 6  No. 9  pp. 144-150
Keywords	Cross-layer, Lifetime maximization, Multi-hop communication, Energy-efficiency, Sensor networks.