一种改进的A(0)协议及其形式化分析  

Improved A(0) Protocol and it's Formal Analysis

作　　者：蔡永泉[1] 朱勇[1] 

机构地区：[1]北京工业大学计算机学院,北京100022

出　　处：《计算机工程与应用》2006年第34期109-111,共3页Computer Engineering and Applications

基　　金：国家863高技术研究发展计划资助项目(2005AA147090);北京教委科技发展计划面上项目(KM200610005001)。

摘　　要：针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析。改进后的协议在保持原协议简洁、高效优点的基础上,增加了抵抗重放和抵抗伪冒攻击的能力。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.

关 键 词：安全协议 认证协议SVO逻辑 形式化分析 

分 类 号：TP393.7[自动化与计算机技术—计算机应用技术]