首页> 中文会议>2015全国理论计算机科学学术年会 >运用SPIN对开放授权协议OAuth 2.0分析与验证

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《2015全国理论计算机科学学术年会》|2015年|1-11|共11页
会议地点金华
作者
Cheng Daolei; 程道雷; Xiao Meihua; 肖美华; Liu Xinqian; 刘欣倩; Mei Yingtian; 梅映天; Li Wei; 李伟;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类通信规程、通信协议;
关键词
开放授权协议; 信息泄露; 模型检测; 公钥加密体系;
入库时间 2022-08-17 11:05:40

相似文献

中文文献
外文文献
专利

1. 运用SPIN对开放授权协议OAuth 2.0的分析与验证 [J] . 程道雷 ,肖美华 ,刘欣倩 . 计算机工程与科学 . 2015,第011期
2. 开放授权协议OAuth2.0的安全性形式化分析 [J] . 王焕孝 ,顾纯祥 ,郑永辉 . 信息工程大学学报 . 2014,第002期
3. 基于OAuth2.0协议的授权登录国内应用现状研究 [J] . 朱博昌 . 现代信息科技 . 2019,第020期
4. 基于OAuth2.0协议的授权登录国内应用现状研究 [J] . 朱博昌 . 现代信息科技 . 2019,第020期
5. OAuth 2.0授权协议常见安全问题及修复建议 [J] . 邱永哲 . 无线互联科技 . 2018,第007期
6. Android平台OAuth协议实现的安全性分析 [C] . Wang Hui ,王晖 ,Zhang Yuanyuan . 中国密码学会2016年会 . 2016
7. 基于OAuth2.0协议的开放平台中授权机制的研究 [A] . 付永亮 . 2017

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

摘要

著录项

相似文献

相关主题

期刊订阅