3.11  补充书目

安全协议方面的研究论文在学术界随处可见。介绍性的论文可能主要有Needham-Schroeder最初的论文[960]、Burrows-Abadi-Needham身份验证逻辑[249]、Abadi、Needham和Anderson与Needham关于协议鲁棒性方面的论文[2、73]，Needham还有一篇综述论文[74]。在［707］中，分析了一个用三种不同的形式化方法实现的存在缺陷的安全协议。此外，安全协议研讨会的论文集[290、291]给现在的研究提供了一些方向，在各种不同主题的会议上也出现了很多相关的论文。