A scalable tool for efficient protocol validation and testing.

J. Jenny Li Joseph Robert Horgan

Published in: Comput. Commun. (2003)

Keyphrases

lightweight
data sets
test set
cost effective
computationally expensive
formal analysis
highly scalable
provably secure
neural network
computationally efficient
test data
single pass