认证协议两种形式化分析方法的比较

摘要：

串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点.

关键词：认证协议、形式化分析、串空间模型、CSP方法

所属期刊栏目：14

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金60083007;国家重点基础研究发展计划973计划G1999035810

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

页数：共9页

页码：2028-2036