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

微信服务号

微信订阅号

首页 > 过刊浏览>2003年第14卷第12期 >2028-2036

认证协议两种形式化分析方法的比较
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60083007 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.G1999035810 (国家重点基础研究发展规划(973))

A Comparison Between Two Formal Analysis Methods on Authentication Protocols

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

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

Abstract:

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.

参考文献

相似文献

引证文献

引用本文

卿斯汉.认证协议两种形式化分析方法的比较.软件学报,2003,14(12):2028-2036

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:2003-05-19
最后修改日期:2003-06-30
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史