VEDA 2: Power to the protocol designers.

Laurent Doldi P. Gauthier

Published in: FORTE (1992)

Keyphrases

power consumption
network protocols
formal analysis
neural network
end users
security analysis
data sets
lightweight
voting protocols