43、现代密码学中的认证协议：从理论到现实应用

现代密码学中的认证协议：从理论到现实应用

1. 密码学学习的不同视角

传统的密码学学习往往聚焦于基础的“教科书式密码学”版本，这些版本通常是许多密码学教科书的主题。然而，这种“教科书式密码学”仅适用于数据随机且攻击者行为良好的理想世界。在现实世界的各种应用场景中，它存在诸多不足，通过对相关方案、协议和系统的大量攻击演示，能明显看出其不适用性。

与传统学习方法不同，这里更注重密码学的实际应用方面。会引入一系列实用的密码学方案、协议和系统，其中许多是事实上的或行业标准。对这些内容进行深入研究，解释其工作原理，探讨实际用途，并检验其强大的（即适合应用的）安全属性，且常伴有正式确立的安全证据。同时，还涵盖了作为现代密码学基础的独立理论背景材料。

2. 认证协议相关文献推荐

认证在密码学协议中是一个重要主题，以下是一些重要的文献参考：
- 《A logic of authentication》（Burrows, Abadi 和 Needham） ：这是一篇开创性的论文，是必读文献。大多数安全协议论文都会引用它，它是许多早期认证协议的重要来源，也揭示了这些协议的许多安全漏洞。
- 《A survey on various ways cryptographic protocols fails》（Moore） ：这是一篇重要论文，很好地介绍了各种密码学失败情况。这些失败并非源于密码算法本身的内在弱点，而是由于其使用方式要求提供某些实际上无法提供的密码学服务。
- 《Prudent engineering practice for cryptograp