串空间模型对RPC协议机密性的验证

• 作者: 展永刚 杨世平
• 来源期刊: 计算机安全
• 学科: 工学
• 关键词: 安全协议 串空间 Andrew secure EPC协议
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 学术·技术
• 页码范围: 4-7,14
• 页数: 5页
• 分类号: TP3
• 字数: 5093字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0428.2009.03.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨世平	贵州大学计算机科学与技术学院	47	250	9.0	13.0
2	展永刚	贵州大学计算机科学与技术学院	1	1	1.0	1.0