23、密码协议安全保障：基于可信新鲜度的认证与安全分析

密码协议安全保障：基于可信新鲜度的认证与安全分析

1. 消息发送后的术语情况

在消息发送后，参与方 A 和 B 会拥有不同的术语。B 拥有的术语如下：
|序号|术语|依据|
| ---- | ---- | ---- |
|1| + {…NB…}|定义 4.10 (1)|
|2| + {…NB…}K|术语 1 和定义 4.10 (3)|
|3| + {…NA, NB…}K|术语 2 和定义 4.10 (2),(3)|
|4| + {…NB, A…}K|术语 2 和定义 4.10 (2),(3)|
|5| + {…NB, B…}K|术语 2 和定义 4.10 (2),(3)|
|6| + {…NA, NB…}K|术语 2 和定义 4.10 (2),(3)|
|7| + {…NA, NB, A…}K|术语 6 和定义 4.10 (2),(3)|
|8| + {…NA, NB, B…}K|术语 6 和定义 4.10 (2),(3)|
|9| + {…NA, NB, A, B…}K|术语 8 和定义 4.10 (2),(3)|

A 拥有的术语如下：
|序号|术语|依据|
| ---- | ---- | ---- |
|1| - {…NA…}|定义 4.10 (1)|
|2| - {…NA…}K|术语 1 和定义 4.10 (3)|
|3| - {…NA, NB…}K|术语 2 和定义 4.10 (2),(3)|
|4| - {…NA, A…}K|术语 2 和定义 4.10 (2),(3)|
|5| - {…NA, B…}K|术语 2