OAuth2.0协议的安全性形式化分析

摘要：

为使用户信任安全系统，保证 OAuth2.0协议的有效实施，提出对 OAuth2.0协议进行详细的安全性分析。通过对 Scyther的研究和 OAuth2.0协议的分析，形式化验证 OAuth2.0协议的安全性。将 OAuth2.0协议标准转化为 Scyther的形式化语义，分析协议的安全目标，将安全目标转化为安全属性，与形式化语义相结合，利用 Scyther 的对手模型和基于模型的改进算法进行安全性形式化分析。结合实例分析协议角色执行轨迹，得到协议的攻击路径。

关键词：OAuth2.0、Scyther、形式化分析、云计算、安全性

所属期刊栏目：37

分类号：TP309.2(计算技术、计算机技术)

在线出版日期：2016-08-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1746-1751