| 摘要: |
| 认证协议的设计是一项十分困难的工作。国际标准化组织(ISO)一直致力于不同环境的认证协议标准的制定．本文研究用BAN逻辑形式化地分析认证协议的方法，指出BAN逻辑分析并非总是推导出正确的结论．在此基础上，本文讨论了认证协议的设计原则以及改进BAN逻辑的设想． |
| 关键词: 认证，认证协议，BAN逻辑，密码算法,杂凑函数，数字签名． |
| DOI： |
| 分类号: |
| 基金项目: |
|
| FORMAL ANALYSIS OF AUTHENTICATION PROTOCOLS |
|
Qing Sihan
|
| Abstract: |
| The design of authentication protocols is notoriously error—prone．ISO has been working on a variety of authentication protocols standards for some years．This paper explores the approaches to formal analysis of authentication protocols using BAN logic and points out that the BAN logic analysis does not always lead to correct outcome．Finally，this paper discusses the design principles of authentication protocols and the future direc-tions for improvements of the BAN logic． |
| Key words: Authentication, authentication protocol, BAN logic,cryptographic algorithm,hash function,digital signature． |
