An approach to cyclic protocol validation.

Hong Liu Raymond E. Miller

Published in: Comput. Commun. (1996)

Keyphrases

communication protocol
lightweight
formal analysis
network protocols
data sets
multi party
authentication protocol
model validation
key agreement protocol
file transfer