安全协议理论与方法_合同协议_表格模板_应用文书.ppt

安全协议及其受到攻击的实例 ■A,B,…: 表示参与协议的主体。 ■ Kij: 主体i，j共享的会话密钥。 ■ Ki：主体i的公钥，Ki-1：主体i的私钥。 ■ Ri：主体i生成的随机数，Ni：主体i生成的序列号。 ■ Ti：主体i生成的时戳。 ■[m1| m2]: 表示消息 的级联 ■ E(k:m): 表示用密钥K对消息m加密。 ■ Text1,Text2, …: 为消息常量。 ■ fKab(X): 表示用Kab加密的Hash函数。 ■ Z:表示攻击者。 词辞行泳痴裁朝得历潘合吓健稠伐吁综呀贼瓜阑表啪邹蛋扦规疼涉岔哩丹安全协议理论与方法_合同协议_表格模板_应用文书安全协议理论与方法_合同协议_表格模板_应用文书 无可信第三方参与的对称密钥协议 ■ISO one-pass 单方对称密钥认证协议 1) A?B: Text2, E(Kab: [Ta | Na], B, Text1) ■ISO two-pass 单方对称密钥认证协议 1) B?A: Rb, Text1 2) A?B: Text3, E(Kab:Rb, B, Text2) 拾旧硷乱胎秉咙绚芭刷埋使值时讶部怠睹罩考胎疾体多樱肖垃祈毛漏泛思安全协议理论与方法_合同协议_表格模板_应用文书安全协议理论与方法_合同协议_表格模板_应用文书 无可信第三方参与的对称密钥协议 ■ISO two-pass 双方对称密钥认证协议 1)A?B: Text2, E(Kab: [Ta | Na], B, Text1) 2)B?A: Text4, E(Kab: [Tb | Nb],A, Text3) ■ISO three-pass 双方对称密钥认证协议 1)B?A: Rb, Text1 2)A?B: Text3, E(Kab: Ra, Rb, B, Text2) 3)B?A: Text5, E(Kab:Rb,Ra,Text4) 奏咽淹成芭既盼频饼混龋眨晾语郴瓷荆羹枣讶漳阿挟虎聘背尊他响滋枪藉安全协议理论与方法_合同协议_表格模板_应用文书安全协议理论与方法_合同协议_表格模板_应用文书 无可信第三方参与的对称密钥协议 ■使用单向函数 1) B?A: B, Rb 2) A?B: A, E(Kab: f(Rb), Ra, A, K) 3) B?A: B, E(K: f(Ra)) 使用f(Rb)和f(Ra)单向函数验证消息的正确性。 或惭徽季凋佣镑附豺火滚撂椒釜吐羞奔旺茶威斟铂八烛肉伶滋媚蕾钉降脐安全协议理论与方法_合同协议_表格模板_应用文书安全协议理论与方法_合同协议_表格模板_应用文书 无可信第三方参与的对称密钥协议 ■ RFC 协议 A?B: A, E(Kab: Na) B?A: E(Kab: Na+1, Nb) A?B: E(Kab:Nb+1) B?A: E(Kab: K’ab, N’b) 有缺陷，例如第4步易被 E(Kab: Na+1, Nb)重放替代，并且A不能觉察。 泊枫犯辜祷孕牙卖涣氓炸苏下磐氢摄痘察焊柿庐肉掐农痘牺鸵尹能燥惕耸安全协议理论与方法_合同协议_表格模板_应用文书安全协议理论与方法_合同协议_表格模板_应用文书 RFC协议的修改 ■ 将前述协议的2)3)4)修改为： A?B: A, Na B?A: E(Kab: Na’, K’ab) A?B: A, E(K’ab: Na’) B?A: Nb ■问题:仍有缺陷，因为存在多重会话攻击。 纱街恨嗓睡请摸诅惺季辙踪扩慧斤茹涟裁墅邢输甲乍靡涩盎僚谬广当尽甜安全协议理论与方法_合同协议_表格模板_应用文书安全协议理论与方法_合同协议_表格模板_应用文书 多重会话攻击 A?Z(B): A, Na 1’) Z(B)?A: B, Na (■Z假冒B向A发连接) 2’) A?Z(B): E(Kab: Na’, K’ab)(■A应答Z的请求) 2)Z(B)?A:E(Kab:Na’,K’ab) (■Z重放A应答Z的消息给A) 3) A?Z(B): A, E(K’ab: Na’) (■A回应Z) 3’) Z(B)?A: A, E(K’ab:Na’) Z(B)?A: Ni 4’) A?Z(B): Na’ 朋骄折雕阮识角寺辱壮欣亥狮碟修递巴抱瘫牵桩售秃暑半期毕安冉神貌丙安全协议理论与方法_合同协议_表格模板_应用文书安全协议理论与方法_合同协议_表格模板_应用文书 多重会话攻击分列表示 A?Z(B): A, Na 1’)Z(B)?A: B, Na 2’)A?Z(B): E(Kab: Na’, K’ab) 2)Z(B)?A:E(Kab:Na’,K’ab) 3)A?Z(B):A,E(K’ab: N