基于形式方法的Andrew RPC认证协议的分析与改进  

Improvement and analysis of Andrew RPC based on formal methods

作　　者：白汉利[1] 蔡红柳[1] 郑广[1] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072

出　　处：《计算机工程与设计》2005年第7期1886-1888,共3页Computer Engineering and Design

摘　　要：密码协议安全性分析是网络安全的一个难题,运用形式方法对密码协议进行分析一直是该领域的研究热点。运用BAN逻辑对AndrewRPC(RemoteProcedureCall)认证协议进行了形式分析,发现了协议中存在的安全缺陷。对协议进行改进,并给出改进后的安全协议。It is a hard problem in the area of computer network security to analyze cryptographic protocols. Using formal methods to analyze cryptographic protocols remains the key issue in this field, A methodology is presented by using BAN logics to analyze the Andrew RPC （remote procedure call） authentication key establishment protocol. By formal methods based on BAN logics, some security bug is discovered, In the end, this authentication key establishment protocol is improved and depicted,

关 键 词：密码协议 形式方法 RPC 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]