摘要
密码协议安全性分析是网络安全的一个难题,运用形式方法对密码协议进行分析一直是该领域的研究热点。运用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,
出处
《计算机工程与设计》
CSCD
北大核心
2005年第7期1886-1888,共3页
Computer Engineering and Design
