This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: 7raitorous 5ailures and 2onsensus 3ennis 6hasha ¡following ;ynch¢ 5ischer¢ <erritt£ ¤roblem 6tatement ¥ ● 7hree generals 0¢ 1¢ and 2¦ ● 0t most one is a traitor¦ ● 7he traitor knows the protocol and the inputs of the others¦ ● 7he generals must decide to attack or not to attack ¡analogous to commit or abort£¦ ¤roblem 6tatement § ● 4ach day each general wakes up with an inclination to attack or not to attack¦ ● 7he generals then talk to one another by two way phone¦ ● 6o¢ 0 cannot overhear the conversation of 1 with 2 and symmetrically¦ ¤roblem 6tatement " ● 8f all generals wake up with an attack inclination¢ the non¨traitors should attack ¡liveness ¥£ ● 8f all generals wake up with a non¨attack inclination¢ the non¨traitors should not attack ¡liveness §£¦ ● 8f some wake up wanting to attack and others not¢ then either both non¨traitors should attack or both should not attack ¡safety£¦ :hat <akes this ©ard ● 8f all generals could get together in a...
View Full Document
This note was uploaded on 10/06/2011 for the course CS 2434 taught by Professor Shasha during the Spring '11 term at NYU.
- Spring '11