基于串空间的安全协议形式化分析建模和研究-计算机软件与理论专业论文.docxVIP

南京邮电大学 硕士学位论文摘要 学 科、专 业：工 学 计算机软件与理论 研 究 方 向：软件技术及其在通信中的应用 作 者：2009 级硕士研究生 李轶谞 指导教师：陈春玲 题 目：基于串空间的安全协议形式化分析建模和研究 英文题目：Modeling and Research on Formal Analysis of Security Protocols Based on Strand Space 主 题 词：安全协议，形式化分析，串空间，SPIN Keywords：Security Protocol, Formal Analysis, Strand Space, SPIN 南京邮电大学硕士研究生学位论文摘 南京邮电大学硕士研究生学位论文 摘 要 I I 摘 要 在确保计算机网络通信体系安全的众多环节之中，安全协议是其中尤为重要的环节之 一。网络中各个对等实体之间的安全通信都是通过安全协议来协助完成，因此安全协议一 旦被发现缺陷或漏洞，就能被攻击者利用来对协议进行各种各样的攻击，进而达到攻击者 的目的。所以近年来研究人员对安全协议的研究也逐渐深入。作为安全领域的一个前沿课 题与重要科研内容，安全协议的分析在这二十年来迅速的发展起来。形式化分析作为分析 安全协议的一个最重要方法，对安全协议的分析研究具有十分重要的理论意义和实际价值。 论文深入讨论了串空间等形式化分