To search, Click below search items.
All Published Papers Search Service
Title
Design of an Efficient Security Protocol Analyzer
Author
Shinsaku Kiyomoto, Haruki Ota, Toshiaki Tanaka
Vol. 7 No. 6 pp. 74-87
Keywords
Security Protocol, Automatic Verification, Provable Security
Active Support for Using Academic Information Resource in Distributed Environment
Baoning Li and Tetsuo Kinoshita
Vol. 7 No. 6 pp. 69-73
Active Information Resource, Information Retrieval, Information Sharing, Agent, Agent-based System
Secure Voice-over-IP
Markus Dunte, Christoph Ruland
Vol. 7 No. 6 pp. 63-68
Voice-over-IP, confidentiality, encryption, integrity, SRTP, SIP, H.323
Intelligent Rock Vertical Shaft Impact Crusher Local Database System
Zamani Md Sani, Nor Ashidi Mat Isa, Shahrel Azmin Suandi, Mohammad Subhi Al-Batah, Kamal Zuhairi Zamli, Khairun Azizi Azizli
Vol. 7 No. 6 pp. 57-62
Rock Vertical Shaft Impact Crusher (RoR VSI), Local Database System, System Performance, Shape Breakdown