An O(\mathop lg n) Expected Rounds Randomized Byzantine Generals Protocol

Published in: STOC (1985)

Keyphrases

fault tolerant
lightweight
neural network
coloured petri nets
security protocols
network protocols
data mining
decision trees
formal analysis
communication protocols
protocol specification