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

摘要：

密码协议安全性分析是网络安全的一个难题,运用形式方法对密码协议进行分析一直是该领域的研究热点.运用BAN逻辑对Andrew RPC(RemoteProcedure Call)认证协议进行了形式分析,发现了协议中存在的安全缺陷.对协议进行改进,并给出改进后的安全协议.

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

所属期刊栏目：26

分类号：TP309(计算技术、计算机技术)

在线出版日期：2005-09-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：1886-1888