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	The Development of School Websites Management System and Its Trials during School Field Work in a Distant Place
Author	Kyoko Umeda, Tetsuro Ejima, Hironari Nozaki
Citation	Vol. 6  No. 11  pp. 152-157
Keywords	School website, CMS tool, communication with teachers, parents

Title	PVoT: An Interactive Authoring Tool for Virtual Reality
Author	Jinseok Seo, Sei-woong Oh
Citation	Vol. 7  No. 4  pp. 17-26
Keywords	Virtual reality, Authoring Tool, Methodology

Title	Study of Network Performance Monitoring Tools-SNMP
Author	Mr. G.S. Nagaraja, Ranjana R.Chittal, Kamod Kumar
Citation	Vol. 7  No. 7  pp. 310-314
Keywords	Simple network management protocol, internet protocol, monitoring tools