Otway-Rees密钥交换协议续Example11Otway-电子科技大学.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Otway-Rees 密钥交换协议的归因于类型缺陷攻击 Example 11 Otway-Rees key exchanging protocol的归因于类型缺陷攻击 Alice (A) Bob (B) Trent (T) Trent解密两个消息并比较其相同部分是否一致。一致则发送会话密钥。 Carol (C) 攻击结果：Alice将M||A||B视为密钥 Na外的数据（M||A||B)当作会话密钥 Carol冒充Bob * 归因于姓名遗漏攻击 定义： 如果与消息相关的主体的名字不能从消息中推断出来，则攻击者利用此缺陷所发动的攻击称之为“归因与姓名遗漏攻击” 原因： 在协议中，与消息相关的名字必须明确 * Denning - Sacco 密钥交换协议 Example12：Denning - Sacco Key Exchange Protocol 协议目的：:利用公钥体制实现Alice和Bob之间会话密钥的交换 协议组成:3条消息 CA and CB are certificates of A and B respectively. * Alice (A) Bob (B) Trent (T) Kab Kab (1) A，B (2) CA，CB (3) CA，CB，Eb(Sa(Kab, Ta)) Example12：Denning - Sacco Key Exchange Protocol Denning - Sacco 密钥交换协议（续） * Alice (A) Bob (B) Trent (T) Kab Kab (1) A，B (2) CA，CB (3) CA，CB，Eb(Sa(Kab, Ta)) Carol (C) (3’) CA，CC，Ec(Sa(Kab, Ta)) (1’) A，B (2’) CA，CB Bob将消息3发送给另外一个主体Carol，使得Carol 相信给Alice“独享”的密钥 Kab （实际上Bob知道该密钥） How to attack the protocol？ Example12：Denning - Sacco Key Exchange Protocol 原因：消息3本来的意思是：在时刻Ta，Alice说Kab是用于Alice和Bob通信的安全密钥。但是参与者Alice的身份不能推导出来。 Denning - Sacco 密钥交换协议（续） * Alice (A) Bob (B) Trent (T) Kab Kab (1) A，B (2) CA，CB (3) CA，CB，Eb(Sa(A, B, Kab, Ta)) The identifications of A and B are included in the third message to denote that A and B communicated each other. Although the name of A can be deduced from ka-1, it is not enough to ensure that the message comes from A. How to remove the flaws recovered in above protocol? Example12：Denning - Sacco Key Exchange Protocol Denning - Sacco 密钥交换协议（续） * 密码服务滥用攻击 定义： 协议中的密码算法没有提供正确的保护，从而在协议中缺少所需要的密码保护。 常见的密码服务滥用攻击包括： 归因于缺失数据完整性保护的攻击 归因于缺失语义安全保护的攻击 攻击者可以从密文中获得部分信息 对应的可证安全性 * Otway-Rees 密钥交换协议的一种变形 Example 13 Otway-Rees key exchanging protocol的一种变形 Protocol Purpose: A and B exchange a session key, Kab, with the help of a trusted third party Protocol: the protocol contains 4 messages Na, Nb are nonces M是协议标识 变形：Nb与其他消息分开加密 分开加密目的：使用加密来提供消息的新鲜性 * Otway-Rees 密钥交换协议的一种变形（续） Alice