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

• 作者: 周清雷 赵东明 赵琳
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 串空间 Andrew secure RPC协议
• 年，卷（期）: 2007,（13）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 153-155,158
• 页数: 4页
• 分类号: TP309
• 字数: 6055字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.13.046

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	赵东明	郑州大学信息工程学院	18	49	4.0	6.0
3	赵琳	郑州大学信息工程学院	11	50	4.0	6.0