Protocol validation using a pumping-based approach.

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

Published in: COMPSAC (1991)

Keyphrases

lightweight
real time
communication protocol
cryptographic protocols
network protocols
low cost
formal analysis
key exchange protocol
information retrieval
learning algorithm
website
peer to peer
quality of service
tcp ip
provably secure