Title	Design of an Efficient Security Protocol Analyzer
Author	Shinsaku Kiyomoto, Haruki Ota, Toshiaki Tanaka
Citation	Vol. 7  No. 6  pp. 74-87
Keywords	Security Protocol, Automatic Verification, Provable Security

Title	Active Support for Using Academic Information Resource in Distributed Environment
Author	Baoning Li and Tetsuo Kinoshita
Citation	Vol. 7  No. 6  pp. 69-73
Keywords	Active Information Resource, Information Retrieval, Information Sharing, Agent, Agent-based System

Title	Secure Voice-over-IP
Author	Markus Dunte, Christoph Ruland
Citation	Vol. 7  No. 6  pp. 63-68
Keywords	Voice-over-IP, confidentiality, encryption, integrity, SRTP, SIP, H.323

Title	Intelligent Rock Vertical Shaft Impact Crusher Local Database System
Author	Zamani Md Sani, Nor Ashidi Mat Isa, Shahrel Azmin Suandi, Mohammad Subhi Al-Batah, Kamal Zuhairi Zamli, Khairun Azizi Azizli
Citation	Vol. 7  No. 6  pp. 57-62
Keywords	Rock Vertical Shaft Impact Crusher (RoR VSI), Local Database System, System Performance, Shape Breakdown