1. Burrows M AbadiM, Needham R. A Logic of Authentication, ACM Trans on Computer Systenms 1990, 8(1):18-V362. 卿斯汉.密码学与计算机网络安全.中国计算机学会学术著作丛书.北京:清华大学出版社,2001.128^-1473. Gong 1,Needham R, Yahalom R. Reasoning About Belief in Crytographic Protocols.In:Proc 1990 IEEE Symp Security and Privacy:1990.234-V2484. Syverson P, Oorshot P.On Unifying Some Crytographic Protocol Logic. In: Proc IEEE Symp Security and Privacy.19945. 刘木兰,龚奇敏.密码学进展—CHINACRYPT' 98.见:第五界中国密码学学术会议论文集.1988.1231256. 冯登国.密码分析.中国计算机学会学术丛书.北京:清华大学出版社,2000.115-117