基于串空间模型的Andrew安全RPC协议分析

• 作者: 刘慧芳
• 来源期刊: 电脑编程技巧与维护
• 学科: 工学
• 关键词: 串空间模型 形式化分析 安全协议 Andrew安全RPC协议
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 计算机安全技术
• 页码范围: 94-96
• 分类号: TP393.08
• 字数: 4027字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-4052.2012.04.043

摘要

在Andrew安全RPC协议模型的基础上,运用安全协议的形式化串空间模型分析方法,对Andrew安全RPC协议进行了分析,说明了该方法进行协议分析的过程,证明了该协议在机密性和认证性方面的正确性,并分析了该协议存在的安全缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘慧芳		4	2	1.0	1.0