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

A Comparison Between Two Formal Analysis Methods on Authentication Protocols

作　　者：卿斯汉[1,2] 

机构地区：[1]中国科学院信息安全技术工程研究中心 [2]中国科学院软件研究所信息安全国家重点实验室,北京100080

出　　处：《软件学报》2003年第12期2028-2036,共9页Journal of Software

基　　金：国家自然科学基金;国家重点基础研究发展规划(973)~~

摘　　要：串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点.Strand space model and CSP method are two popular approaches to formal analysis for authentication protocols. In this paper, the different characteristics of the above approaches are outlined through a concrete authentication protocol.

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]