Protocol validation using a pumping-based approach.

Kuo-Chung Tai, Hong-Fa Ho, Gen-Huey Chen

Browse the full COMPSAC paper archive.