0安全协议勘误表.docVIP

P23 两个Hash下的箭头指向 图2.1 EMSA-PSS 编码操作 P26 倒数第七行,加号”+”改成减号”-” P52 消息1的方向 图4.10 第五个试验协议 P59.缺消息5. 图4.24 Needham-Schroeder 共享密钥协议 P60.缺消息4. 图4.26 Bauer-Berson-Feiertag 协议 P64 缺消息5 图4.30 简化的Gong的多服务器协议 P65表4.6少2行 6. 不要假定收到的消息有特定的形式（如已知r，收到gr），除非你能验证。 7. 明确安全参数。 P67 图4.36少一条消息 图4.36 对第5个协议的加拿大攻击 P70少一条消息 图4.47 对Helsinki 协议的攻击 P71少一条消息 图4.49 Lowe对Needham-Schroeder公钥协议的攻击 P75 表4.7少4行 NA, NB A和B分别选择的随机数 H(.) 单向Hash函数。某些协议可能需要具体的性质和功能 X ( R X 从集合X中选择的随机元素x F ? G 验证F与G是否相等 P76图中选取ka,另外ZAB P143 图7.3中最后一行(改为(; 倒数13行中T = {(αi, vi) | i ( S} P167 倒数第4行,加” n保密.B测试发送过来的随机数vi是否为正确的密钥所花费的时间足够长,超过规定的发送EORk,i 的时限.当B正确猜测出n的值时(不发送最后一条消息),协议失败” P217;第二段” Crypt(i)付款说假话输出为Coin(i-1)( Coin(i) (1;Crypt(i)没付款说真话输出Coin(i-1)( Coin(i), 说真话情况下,相同输出0,不同输出1; 所有输出进行异或,最后结果如果为1表示有人付款,最后为0表示无人付款” 1. A→S: A, B, NA 2. S→A: {NA, B, KAB, {KAB, A}KBS}KAS 3. A→B: {KAB, A}KBS 4. B→A: {NB}KAB 5. A→B : {NB ? 1}KAB 1. A→B: A, NA 2. B→S: A, NA, B, NB 3. S→B: {KAB, A, NB}KBS, {KAB, B, NA}KAS 4. B→A : {KAB, B, NA}KAS 1. A→B: A, B, NA, {A, B, xi, cc(x)}KA ,i 2. B→Si: A, B, NA, NB, {A, B, xi, cc(x) }KA,i, {B, A, yi, cc(y)}KB,i 3. Si→B: {B, NA, yi, cci(y)}KA,i, {A, NB, xi, cci (x)}KB,i 4. B→A: {B, NA, y1, cc1(y)}KA,1, … , {B, NA, yn, ccn(y)}KA,n, {NA}KAB, NB 5. A→B : {NB}KAB 4. {KAB, A, NB}KBS 3. {KAB, B, NA}KAS, {KAB, A, NB}KBS 1. B, NB 2. A, B, NA, NB S A B M Hash padding1 mHash padding2 salt DB = Hash maskedDB H bc MGF M’ = EM = salt + 1. CB→A: NC 2. A→CB: NA, NC, B, SigA(NA, NC, B) 1’. CA→B: NA 2’. B→CA: NB, NA, A, SigB(NB, NA, A) 3. CB→A : NB, NA, A, SigB(NB, NA, A) 1. A→C: EC(A, KAB, NA) 1’. CA→B: EB(A, K’AB, NA) 2’. B→CA: EA(KBA, NA, NB) 2. C→A: EA (KBA, NA, NB) 3. A→C: NB 3’. CA→B : NB 1. A→C: EC(NA, A ) 1’. CA→B: EB(NA, A ) 2’. B→CA: EA(NA, NB) 2. C→A: EA(NA, NB) 3. A→C: EC(NB) 3’. CA→B : EB(NB)