安全协议认证的形式化方法研究

摘要：

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

关键词：安全协议认证、模型检测、定理证明、形式化方法

所属期刊栏目：40

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家自然科学基金60073056;广东省自然科学基金001174

在线出版日期：2004-07-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：152-155