基于公钥密码学的密钥交换协议：A-S-B模型详解

这是一个基于公钥密码学的密钥交换协议，其中A和B是通信的两个实体，S是一个可信的中间人，NA和NB是A和B的随机数，KAS和KBS是A和S以及B和S之间的共享密钥，KAB是A和B之间的共享密钥。

具体流程如下：

1. A向S发送自己的身份标识'A'、B的身份标识'B'和自己的随机数NA。
2. S向A发送一个消息，其中包括A和B的身份标识、A和S之间的共享密钥KAS、B和S之间的共享密钥KBS以及一个加密的消息'KAB, A'KBS，其中KAB是A和B之间的共享密钥，'KAB, A'KBS表示用KBS加密了一个包含KAB和A的消息。
3. A向B发送一个加密的消息'KAB, A'KBS，表示用KBS加密了一个包含KAB和A的消息。
4. B向A发送一个加密的消息'NB'KAB，表示用KAB加密了一个包含NB的消息。
5. A向B发送一个加密的消息'NB - 1' KAB，表示用KAB加密了一个包含NB - 1的消息，这是为了防止重放攻击，即攻击者重复发送A向B的消息4。

第二句中的每个字符的原因如下：

• 'NA, B, KAB, {KAB, A}KBS'：这是S向A发送的消息，其中包括A和B的身份标识、A和S之间的共享密钥KAS、B和S之间的共享密钥KBS以及一个加密的消息'KAB, A'KBS，表示用KBS加密了一个包含KAB和A的消息。
• KAS：这是A和S之间的共享密钥，用于保证A和S之间的通信安全。
• KBS：这是B和S之间的共享密钥，用于保证B和S之间的通信安全。
• 'KAB, A'KBS：这是用KBS加密了一个包含KAB和A的消息，表示S向A发送了A和B之间的共享密钥KAB以及A的身份标识A。

在第5步中，A向B发送的消息为'NB - 1' KAB，而不是'NB' KAB，是为了防止重放攻击。如果攻击者截获了A向B的消息4并重复发送，B会误认为这是A重新发送的消息，从而使用相同的随机数NB生成相同的会话密钥KAB，导致安全性问题。因此，A在发送消息时将NB减1，这样即使攻击者重复发送A向B的消息4，B也会生成不同的会话密钥KAB，保证了协议的安全性。