第七章密码协议:72认证协议概述 722 Daley-Yao威胁模型与常见攻击 Doley-yao模型 1983年, Doley和Yao发表了安全协议史上的一篇重要论文,主 要两点贡献 其一是将安全协议本身与安全协议所具体采用的密码系 统分开 在假定密码系统是“完善”的基础上讨论安全协议本 身的正确性、安全性、冗余性等课题 ●安全协议的设计被划分为两个不同的层次首先研究安 全协议本身的安全性质然后讨论实现层次的具体细节, 包括所采用的具体密码算法等等 历忠毛孑技*字7.2.2 Daolev-Yao威胁模型与常见攻击  Dolev-Yao 模型 ⚫ 1983 年，Dolev 和Yao 发表了安全协议史上的一篇重要论文，主 要两点贡献 ⚫ 其一是将安全协议本身与安全协议所具体采用的密码系 统分开 ⚫ 在假定密码系统是“完善”的基础上讨论安全协议本 身的正确性、安全性、冗余性等课题 ⚫ 安全协议的设计被划分为两个不同的层次:首先研究安 全协议本身的安全性质,然后讨论实现层次的具体细节, 包括所采用的具体密码算法等等. 10/ 第七章 密码协议：7.2 认证协议概述