3.11  補(bǔ)充書目

安全協(xié)議方面的研究論文在學(xué)術(shù)界隨處可見。介紹性的論文可能主要有Needham-Schroeder最初的論文[960]、Burrows-Abadi-Needham身份驗(yàn)證邏輯[249]、Abadi、Needham和Anderson與Needham關(guān)于協(xié)議魯棒性方面的論文[2、73]，Needham還有一篇綜述論文[74]。在［707］中，分析了一個(gè)用三種不同的形式化方法實(shí)現(xiàn)的存在缺陷的安全協(xié)議。此外，安全協(xié)議研討會(huì)的論文集[290、291]給現(xiàn)在的研究提供了一些方向，在各種不同主題的會(huì)議上也出現(xiàn)了很多相關(guān)的論文。