Sign in
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