- 1、本文档共7页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
OAuth2.0协议形式化验证使用AVISPA①.PDF
计 算 机 系 统 应 用 2014 年 第 23 卷 第 11 期
OAuth2.0 协议形式化验证: 使用AVISPA①
郭丹青
( 中国科学院软件研究所, 北京 100190)
( 中国科学院大学, 北京 100049)
摘 要: OAuth 协议是一套用于在不同的服务中进行身份认证并且实现资源互访一套协议. 由于关系到用户隐私,
所以OAuth 协议的安全性非常重要. 这篇文章的主要贡献是研究OAuth2.0 协议文本, 对协议进行抽象, 并且使用
验证工具 AVISPA 对抽象后的协议进行建模与验证, 找到协议中会导致隐私泄露的一种攻击模式. 我们在建模过
程中提出需将要验证的消息作为双方的对称密码这样一种创新思路. 这种对协议的抽象和验证的方法可以推广
到其他安全协议上, 例如在线支付协议等等.
关键词: OAuth2.0; AVISPA; 抽象; 建模; 验证; 攻击模式
Formal Verification on Oauth2.0: Using AVISPA
GUO Dan-Qing
(Institute of software, Chinese Academy of Sciences, Beijing 100190, China)
(University of Chinese Academy of Sciences, Beijing 100049, China)
Abstract: OAuth is an protocol used to identify the client, and control resource access. Because it concerns about the
privacy of the private resource owner, the security of OAuth protocol is fairly important. This paper mainly research on
the OAuth2.0 protocol text, and make an abstraction on it, build an model in AVISPA, an formal verification tool for
security protocols , and then verify the model in AVISPA. Finally, we find there is an attack mode that may result in
leaking the private resource to attackers. We suggest a way to model the message to be authenticated as a symmetric key,
which is innovative. This modelling and verification method we used on analyzing OAuth2.0 can be used in the
verification of other security protocols, like the online payment protocol.
Key words: OAuth2.0; AVISPA; abstraction; modelling method; verification; attack mode
1 前言 一些网站上使用 QQ 账号, 新浪微博账号登陆, 在一
随着分布式网络服务和云计算的使用越来越多, 些网站导入微博好友关系, 或者将一些信息分享到微
服务之间的交互越来越频繁, 第三方应用需要有一套
您可能关注的文档
- 110kV良熟输变电工程环境影响报告表.doc
- 2013年第72期风险揭示书.PDF
- 2013年长沙市轨道交通集团有限公司.PDF
- 2016-2017学年安徽省马鞍山二十二中高三(上)第一次模拟.doc
- 2018下半年各部处和直属单位非教师岗位统一招聘一览表.PDF
- 2018年10月19日投资要点风物长宜放眼量.PDF
- 2018年山东省济南市高三第二次模拟考试语文.PDF
- 2018年山东省职业院校技能大赛中职组网络布线赛项评分细则.PDF
- 2018年度河南省公务员录用考试.PDF
- 2018年度石龙区农机局预算公开情况.doc
- 装修公司618活动方案6篇.docx
- 高校食堂管理工作计划(3篇).docx
- 社区平安创建工作方案(15篇).docx
- 大学班级元旦活动总结.docx
- 2024年上海电子信息职业技术学院招考聘用笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年山东第一医科大学附属眼科医院招考聘用25人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年安徽池州市直事业单位招考聘用54人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年安徽滁州天长市事业单位招考聘用39人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年山东交通技师学院招考聘用64人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年山西省林业和草原局所属事业单位招考聘用131人笔试历年典型题及考点剖析附带答案含详解.docx
文档评论(0)