基于串空间模型的Andrew RPC协议的分析与验证

摘要：

首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷.

关键词：安全协议、串空间、Andrew secure RPC协议

所属期刊栏目：43

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

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

页数：共4页

页码：153-155,158