基于串空间认证测试理论的认证协议分析

• 作者: 石曙东 翁艳琴 解颜铭
• 来源期刊: 微型机与应用
• 学科: 工学
• 关键词: 串空间模型 认证测试 关联性理论
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 网络与通信
• 页码范围: 51-54
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1674-7720.2012.01.017

摘要

对增强型认证测试理论进行简化，使其能更好、更高效地分析协议的认证性。将其应用到对OR协议的分析中，发现协议存在的缺陷，对协议进行改进，并对改进后的协议进行了分析验证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石曙东	湖北师范学院计算机科学与技术学院	28	41	4.0	4.0