摘要
串空间模型和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.
出处
《软件学报》
EI
CSCD
北大核心
2003年第12期2028-2036,共9页
Journal of Software
基金
国家自然科学基金
国家重点基础研究发展规划(973)~~
关键词
认证协议
形式化分析
串空间模
CSP方法
authentication protocol
formal analysis
strand space model
CSP method
