运用SPIN对开放授权协议OAuth 2.0的分析与验证

• 作者: 刘欣倩 李伟 梅映天 程道雷 肖美华
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: OAuth 2.0协议 信息泄露 公钥加密体系 模型检测
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 2121-2127
• 页数: 7页
• 分类号: TP309
• 字数: 3845字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2015.11.019

摘要

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题.但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象.提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测.形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全.上述建模方法对类似的授权协议形式化分析有重要借鉴意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李伟	华东交通大学软件学院	16	86	7.0	9.0
2	肖美华	华东交通大学软件学院	18	92	6.0	9.0
3	梅映天	华东交通大学软件学院	7	26	3.0	5.0
4	程道雷	华东交通大学软件学院	4	22	3.0	4.0
5	刘欣倩	华东交通大学软件学院	3	20	3.0	3.0