超级会员免费看
认证协议逻辑解析
1. 失败停止协议与可扩展失败停止协议
- 失败停止协议 ：乍一看，失败停止协议似乎能自动保证认证。例如协议 11：
- 消息 1：
A → B : {A, B, Prot name, version, seq.= 1, TA, Query}kAB，其中TA是时间戳。 - 消息 2：
B → A : Response。此协议虽为失败停止协议，但第二条消息未经过认证。
- 消息 1：
- 可扩展失败停止协议（EFS） ：若向协议添加任何最后一条消息后仍为失败停止协议，则该协议为可扩展失败停止协议。协议 11 并非 EFS 协议，因为在消息 2 后添加消息会使协议不再是失败停止协议。而协议 12 是 EFS 协议的示例：
- 消息 1：
A → S : {A, S, Prot., vers., seq.= 1, T1, request(A, B)}kAS - 消息 2：
S → A : {S, A, Prot., vers., seq.= 2, T2, (k, A, B)}kAS - 消息 3：
A → S : {A, S, Prot., vers., seq.= 3, T3, (k, A, B)}kAS - 消息 4：
S → B : {S
- 消息 1：
订阅专栏 解锁全文
扫一扫
3517
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
