开放授权协议OAuth2.0的安全性形式化分析

• 作者: 王焕孝 郑永辉 顾纯祥
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 云计算 OAuth2.0 形式化分析 攻击路径
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 数学与信息安全
• 页码范围: 141-147
• 页数: 7页
• 分类号: TP393
• 字数: 4960字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2014.02.003

摘要

开放授权协议OAuth是云上一个新的开放标准,解决了用户多账号通用和资源共享的问题.文章针对OAuth2.0的协议规范,利用Alice-Bob标记语言和HLPSL协议高级语言对其进行了形式化描述,并借助基于状态空间搜索的安全协议分析工具,分别讨论了通信三方在使用和未使用HTTPS加密的情况下协议的安全性,对于不安全的情况得到了相应的攻击路径.另外,在实际的网络环境中观察分析了OAuth2.0的相应实现,对国内访问量前100名的网站做了统计,发现其中可以作为OAuth2.0协议服务端的网站有63.6％存在安全漏洞,可以作为客户端的网站有90.2％存在安全漏洞,实验结果对规范网络安全环境有重要的作用和意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾纯祥		12	74	4.0	8.0
2	郑永辉		8	74	4.0	8.0
3	王焕孝		1	20	1.0	1.0