| 公钥密码体制下认证协议的形式化分析方法研究 |
| |
| 引用本文： | 钱勇,谷大武,陈克非,白英彩. 公钥密码体制下认证协议的形式化分析方法研究[J]. 小型微型计算机系统, 2002, 23(2): 145-147 |
| |
| 作者姓名： | 钱勇 谷大武 陈克非 白英彩 |
| |
| 作者单位： | 上海交通大学,计算机系,上海,200030 |
| |
| 基金项目： | 国家 8 63高科技项目基金 (编号 :863 -3 0 6-ZT0 2 -0 6-3 )资助 |
| |
| 摘 要： | 本文通过对形式化方法中最广泛使用的类BAN逻辑进行研究发现，此方法更侧重于对称密码体制下认证协议的分析，而在分析基于公钥体制的认证协议时，该方法有很大的局限性。因此，文中针对公角密码的特点对类BAN逻辑进行了扩展。扩展后的逻辑方法能够更好地应用于分析公钥认证协议。
|
| 关 键 词： | 公钥密码体制 认证协议 形式化方法 类BAN逻辑 身份认证 网络安全 计算机网络 |
| 文章编号： | 1000-1220(2002)02-0145-03 |
Research to Formal Analysis Methods for Public-Key Authentication Protocols |
| |
| QIAN Yong,GU Da wu,CHEN Ke fie,BAI Ying cai. Research to Formal Analysis Methods for Public-Key Authentication Protocols[J]. Mini-micro Systems, 2002, 23(2): 145-147 |
| |
| Authors: | QIAN Yong GU Da wu CHEN Ke fie BAI Ying cai |
| |
| Abstract: | Through researching into BAN like logic which is used popularly in formal analysis methods, we found that the logic focused on analyzing authentication protocols which based on symmetric cryptography, it is not fit for public key authentication protocols. In this paper, we design new symbol definitions and inference rules in BAN like logic according to characteristic of public key cryptography, new logic can be used to verify correctness of public key authentication protocols very well. |
| |
| Keywords: | public key cryptography authentication protocols formal methods BAN like logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
