双向认证协议安全性分析与改进

双向认证协议安全性分析与改进

考虑下面的双向认证协议，客户端 Alice 与服务端 Bob 共享秘钥为 KAB，H 为公开的安全 Hash() 函数。

1. Alice (Client) -> Bob (Server): Challenge1
2. Bob (Server) -> Alice (Client): Hash(KAB ⊕ Challenge1), Challenge2
3. Alice (Client) -> Bob (Server): Hash(KAB ⊕ Challenge2)

1. 并行会话攻击分析

恶意攻击者可以通过并行会话攻击假冒 Alice，具体步骤如下：

1. 攻击者向 Bob 发送 Challenge1，Bob 回复 Challenge2 和 Hash(KAB ⊕ Challenge1)。
2. 攻击者同时向 Alice 发送 Challenge1，Alice 回复 Hash(KAB ⊕ Challenge1) 和 Challenge2。
3. 攻击者将 Alice 的回复发送给 Bob，Bob 验证 Hash(KAB ⊕ Challenge1) 是否匹配，若匹配则认为攻击者是 Alice，从而进行后续通信。

2. 协议改进

为了避免上述缺陷，可以改进协议如下：

1. Alice (Client) -> Bob (Server): NonceA
2. Bob (Server) -> Alice (Client): NonceB, Hash(KAB ⊕ NonceA ⊕ NonceB)
3. Alice (Client) -> Bob (Server): Hash(KAB ⊕ NonceB)

在改进协议中，NonceA 和 NonceB 是随机生成的数值，用于防止攻击者重放攻击。Bob 回复的 Hash 值包含 NonceA、NonceB 和 KAB 的异或值，用于验证 Alice 是否知道 KAB。Alice 回复的 Hash 值包含 NonceB 和 KAB 的异或值，用于验证 Bob 是否知道 KAB。这样，即使攻击者截获了 NonceA 和 NonceB，也无法伪造 Alice 和 Bob 的身份进行通信，从而避免了并行会话攻击。