1.2.1 经典协议与早期分析方法（Needham-Schroeder、Otway-Rees等）

文档摘要

1.2.1 经典协议与早期分析方法（Needham-Schroeder、Otway-Rees等） 1.2.1 经典协议与早期分析方法（Needham-Schroeder、Otway-Rees等）在现代密码学与安全协议的演进史中，20世纪70年代末至80年代初堪称“启蒙时代”。这一时期诞生的一系列经典认证协议——如Needham-Schroeder（NS）协议、Otway-Rees（OR）协议——不仅奠定了安全通信的理论基础，更成为后续形式化验证、攻击建模与协议设计范式的试金石。它们看似简洁，却暗藏玄机；表面优雅，实则脆弱。理解这些协议，不仅是回溯历史，更是掌握安全协议工程思维的关键一步。