基于带标记串空间模型的安全协议分析

• 作者: 龙士工
• 来源期刊: 科技与创新
• 关键词: 串空间 安全协议 类型缺陷
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 博士论坛
• 页码范围: 14-16
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2010.06.006

摘要

在串空间理论基础上引入了标记模型,扩展了串空间理论,实现了具有类型缺陷的安全协议的分析,本文以RPC协议作为实例,证明改进后的RPC协议,能抵御类型攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	龙士工	贵州大学计算机学院	39	110	5.0	9.0