OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

查看量	下载量

相关文章
更多...

软件学报 2003

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

, PP. 2028-2036

Keywords: 认证协议,形式化分析,串空间模型,csp方法

Full-Text Cite this paper Add to My Lib

Abstract:

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

Contact Us

service@oalib.com

WhatsApp +8615387084133