To search, Click below search items.
All Published Papers Search Service
Title
Fast and Automatic Verification of Authentication and Key Exchange Protocols
Author
Haruki Ota, Shinsaku Kiyomoto, Yutaka Miyake
Vol. 11 No. 4 pp. 1-13
Keywords
Security Verification Method, Authentication and Key Exchange Protocols, Verification Points, Bellare et al.'s Model
Digital Image Watermarking Based on Independent Component Analysis and Ridgelet Transform
A.Umaamaheshvari, K.Thanushkodi
Vol. 11 No. 4 pp. 14-17
Watermarking, Independent, Transform
Information Hiding using LSB technique
Jassim Mohmmed Ahmed, Zulkarnain Md Ali
Vol. 11 No. 4 pp. 18-25
Steganography, LSB technique
Online Loss Differentiation Algorithm with One-Way Delay for TCP Performance Enhancement
Minsu Shin, Mankyu Park, Byungchul Kim, Jaeyong Lee, Deockgil Oh
Vol. 11 No. 4 pp. 26-36
TCP, loss differentiation, one-way delay, clock synchronization, congestion loss