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
Samples: Byzantine Agreement, Byzantine Agreement, Byzantine Agreement
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
Samples: Byzantine Agreement, Byzantine Agreement, Byzantine Agreement