| 一种改进的A(0)协议及其形式化分析 |
| |
| 引用本文： | 蔡永泉,朱勇.一种改进的A(0)协议及其形式化分析[J].计算机工程与应用,2006,42(34):109-111. |
| |
| 作者姓名： | 蔡永泉 朱勇 |
| |
| 作者单位： | 北京工业大学,计算机学院,北京,100022;北京工业大学,计算机学院,北京,100022 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划);北京市教委科技发展计划项目 |
| |
| 摘 要： | 针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析。改进后的协议在保持原协议简洁、高效优点的基础上,增加了抵抗重放和抵抗伪冒攻击的能力。
|
| 关 键 词： | 安全协议 认证协议SVO逻辑 形式化分析 |
| 文章编号： | 1002-8330（2006）34-0109-03 |
| 收稿时间： | 2006-07 |
| 修稿时间： | 2006-07 |
Improved A(0) Protocol and it's Formal Analysis |
| |
| CAI Yong-quan,ZHU Yong.Improved A(0) Protocol and it's Formal Analysis[J].Computer Engineering and Applications,2006,42(34):109-111. |
| |
| Authors: | CAI Yong-quan ZHU Yong |
| |
| Affiliation: | College of Computer Science, Beijing University of Technology, Beijing 100022, China |
| |
| Abstract: | An improved protocol is proposed by modifying message format and adding handshake message to remove the limitations of A(0)protocol which can not against the replay and impersonation attack.And SVO logic is employed to analyze the security of the improved protocol using formal methods.Compared with A(0)protocol,the improved protocol illustrates higher security,and preserves the other advantages also. |
| |
| Keywords: | security protocol authentication protocol SVO logical formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
