Unforgeability. If all processes with identifier i are cor- rect and none of them performs Broadcast(m), then no correct process performs Accept(m, i).
Appears in 7 contracts
Sources: Byzantine Agreement With Homonyms, Byzantine Agreement With Homonyms, Byzantine Agreement With Homonyms