A periodic state exchange protocol and its verification.

Mohamed G. Gouda Arun N. Netravali Krishan K. Sabnani

Published in: IEEE Trans. Commun. (1995)

Keyphrases

cryptographic protocols
lightweight
model checking
formal proof
neural network
learning algorithm
state space
end to end
model checker