| 一种认证安全性的分析与设计逻辑 |
| |
| 引用本文： | 张爱新,杨明福,李生红,李建华.一种认证安全性的分析与设计逻辑[J].上海交通大学学报,2004,38(Z1):174-177. |
| |
| 作者姓名： | 张爱新 杨明福 李生红 李建华 |
| |
| 作者单位： | 1. 上海交通大学,信息安全工程学院,上海,200030
2. 华东理工大学,信息科学与工程学院,上海,200047 |
| |
| 基金项目： | 国家高技术研究发展计划(863)项目资助(2001AA142160;2002AA145090) |
| |
| 摘 要： | 针对BAN逻辑的局限性,在BSW逻辑的基础上,提出了一种针对认证安全性的分析与设计逻辑.同时,以Needham-Schroeder公钥协议及X.509三消息协议的分析与再设计为例,证明了该逻辑的正确性和有效性.
|
| 关 键 词： | 安全协议 BAN逻辑 形式化方法 |
| 文章编号： | 1006-2467(2004)S1-0174-04 |
| 修稿时间： | 2003年10月10 |
An Analysis and Design Logic for Authentication Security |
| |
| ZHANG Ai-xin,YANG Ming-fu,LI Sheng-hong,LI Jian-hua.An Analysis and Design Logic for Authentication Security[J].Journal of Shanghai Jiaotong University,2004,38(Z1):174-177. |
| |
| Authors: | ZHANG Ai-xin YANG Ming-fu LI Sheng-hong LI Jian-hua |
| |
| Institution: | ZHANG Ai-xin~1,YANG Ming-fu~2,LI Sheng-hong~1,LI Jian-hua~1 |
| |
| Abstract: | To improve the BAN (Burrows, Abadi & Needham)logic, an analysis and design logic for authentication security was proposed based on the BSW (Buttyan, Staamann & Wilhelm) logic. The analysis and re-design for Needham-Schroeder public key protocols and three-message X.509 protocol shows its correctness and effectiveness. |
| |
| Keywords: | security protocols BAN(Burrows Abadi & Needham) logic formal methods |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
