基于oauth2.0协议的安全授权码模型研究

《基于oauth2.0协议的安全授权码模型研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、０学校名称：东北师范大马学校代码：…２０；ＴＰ３１１研巧生学号：２０１３１０２８２。分类号．５善硕±学位论文基于ＯＡｕ化２．０曲议的巧全巧板巧接型巧义ＯＡｕｔｈ２ＳｅｃｕｒｉｔＴｈｅＲｅｓｅａｒｃｈｏｆＢａｓｅｄｏｎ．０Ｐｒｏ化ｃｏｌｙＡｕ化ｏｒｉｚａｔｉｏｎｍｏｄｅｌ作者：王婷＃指导教师：巧巧周东街教巧一级学科：巧件工程二级学科：巧件工程软件巧来工程研巧方向：巧件巧式化方法与学位类型：学术巧±东北师范大学学位评定委员会２０１６年５月学校代码：学

2、校名称：东北师范大学１．５研究生学号３１０２８２９分类号：ＴＰ３１１：２０糸批作念人ｆ硕±学位论文墓于０乂Ｕ化２．０协议的巧全鞍化码模型研兜ＴｈｅＲｅｓｅａｒｃｈｏｆＢａｓｅｄｏｎＯＡｕｔｈ２．０ＰｒｏｔｏｃｏｌＳｅｃｕｒｉｔｙＡｕｔｈｏｒｉｚａｔｉｏｎｍｏｄｅｌ作者：王婷婷指导教师：杨館周东巧教授一级学科：软件工程二级学科：软件工程研究方向：软件形式化方法与软件需求工程学位类型：学术硕±．东北师范大学学位评定委员会２０１６年５月独创性声明本人郑

3、重声明：所提交的学位论文是本人在导师指导下独立进行研究工作所取得的成果。据我所知，论文，除了特别加Ｗ标注和致谢的地方外中不包含其他人已经发表或撰写过的研究成果。对本人的研巧做出重要贡献的个人和集体，均己在文中作了明确的说明。本声明的法律结果由本人承担。化－川学位论文作者签名：乎句请日期；学位论文使用授权书本学位论文作者完全了解东北师范大学有关保留、使用学位论文的规定：，即东北师范大学有权保留并向国家有关部口或机构送交学位论文的复印件和电子版，允许论文被查阅和借阅。本人授权东北师范大学可Ｗ将

4、学位论文的全部或部分内容编入有关数据库进行检索，可Ｗ采用影印、缩印或其它复制手段保存、汇编本学位论文。（保密的学位论文在解密后适用本授权书）Ｊ祠学位论文作者签名：３指导教师签名：／、、、＇日期ｒ／；＾女谷ｙ／＾户（？日期＞（学位论文作者毕业后去向：工作单位：电话：通讯地址：卿编：摘要２，０Ａｕｔｈ．０协议的应用越来越广泛近几年，其安全性越来越受到了各类学者的重点＇４ｔｅｒＦ关注。２０１２至２０１年期间，腾讯、新浪微博、Ｔｗｉｔ、ａｃｅｂｏｏｋ、Ｇｏｏｇｌｅ等国内外

5、大量知名网站因使用ＯＡｕｔｈ授权的开放平台而受到安全威胁，曾数次紧急公布修复方案。一目前最主流的开放平台授权协议ＯＡｕｔｈ的授权模型的安全性直受到企业应用者的关注，实质上是保证不同角色在交互过程中提供安全可信任的服务。授权码模型是０Ａｕｔｈ２．０协议模型中流程最严密、功能最完整的授权模式，也正因如此授权码模型是应用最广泛的，然而频频曝出安全问题。考虑到提高０Ａｕｔｈ２．０协议的安全性，本文会在〇Ａｕｔｈ２．０授权码模型的基础上做出改进，本文采用ＨＬＰ化语言对授权码模型进行形式化建模，结合惰性无限状态方法

6、和惰性攻击者优化方法对形式化模型分析和验证，找到授权码模型出现的安全漏洞是客户端凭证可被攻击者窃取，当授权服务器不能仅通过客户端凭证来验证客户端的合法性时，改进授权码模型的客户端认一ｕｔｈ２证部分．０，保证获取的客户端是合法的，就可Ｗ在定程度上加强〇Ａ的客户端角色的安全性。本文的最终目标是安全授权码模型的建立，验证其安全的方法是使用最严格的形式化方法，运用化Ｐ化语言实现其形式化模型规范，并使用支持化Ｐ化语言的形式化旨动验证工具ＡＶＩＳＰＡ，使用该平台的０ＦＭＣ终端分析模型安全与否，对本文提出的安全授

7、权码模型进行分析，全面验证安全授权码模型的安全性。本文的研究意义与贡献主要体现在下Ｈ个方面：１立０Ａｕ。．建ｔｈ２．０协议授权码模型形式化模型２．使用形式化方法对０Ａｕｔｈ２．０协议授权码模型进行非常详细的数学分析和验证。３．优化０Ａｕｔｈ２．０授权码模型，安全授权码模型的建立，并分析和验证其在理论上无安全漏洞。本文通过对〇Ａｕｔｈ２．０授权码模型进行详细的形式化分析与验证，并且针对其存在的容易被攻击的漏洞，优化授权码模型，安全授权码模型的建立对目前安全要求高的开放平台的授权是有指导意义的

8、。关键词：０Ａｕｔｈ２．０，安全，授权码模型，形式化ＩＡｂｓｔｒａｃｔＩｎｒｅｃｅｎｔｅａｒｓｗｉｔｈｔｈｅｅｘｔｅｎｓｉｖｅａｌｉｃａｔｉｏｎｏｆＯＡｕｔｈ２．０ｒｏ１；ｏｃｏｌｉｔｓｓｅｃｕｒｉｔｈａｓｙ，ｐｐｐ，ｙｂｅｅｎｍｏ