【摘要】 安全协议认证是网络安全领域中重大课题之一。形式化方法多种多样。该文首先论述了模型检测技术及其在安全协议验证中的应用,然后介绍了各种定理证明方法和定理证明工具,接着讨论其它形式化验证方法,最后论述形式化方法的一些研究方向。更多还原

【Abstract】 The security protocol verification is one of the important projects in the domain of network security.The formal methods are various.In this paper,the model checking and it’s application in the security protocol verification are discussed at first.Then,many kinds of theorem proving methods and tools are stated in detail.After that,other formal methods are introduced.At last,Some trends of research of formal methods are presented.更多还原