Proving the Herman-Protocol Conjecture.

Maria Bruna Radu Grigore Stefan Kiefer Joël Ouaknine James Worrell

Published in: CoRR (2015)

Keyphrases

lightweight
communication protocol
cryptographic protocols
neural network
data mining
artificial intelligence
sensor networks
low cost
tcp ip
group communication
denial of service attacks
file transfer