摘要
本文通过对形式化方法中最广泛使用的类 BAN逻辑进行研究发现 ,此方法更侧重于对称密码体制下认证协议的分析 ,而在分析基于公钥体制的认证协议时 ,该方法有很大的局限性 .因此 ,文中针对公钥密码的特点对类 BAN逻辑进行了扩展 .
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.
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第2期145-147,共3页
Journal of Chinese Computer Systems
基金
国家 8 63高科技项目基金 (编号 :863 -3 0 6-ZT0 2 -0 6-3 )资助
