基于CPN的OAuth协议建模与分析

摘要：

在云计算环境下, 网络安全协议的执行环境变得更为复杂, 应用Web安全间题开放授权协议, 可以提高信息共享的安全性. 本文采用CPN (Colored Petri Net)对OAuth协议进行建模, 使用仿真工具CPNTools分析OAuth协议授权码模式的相关性质, 并通过仿真实验表明授权码模式可以基于令牌进行验证与授权, 防止针对授权码的CSRF注入攻击.

关键词：Web安全开放授权协议、Petri网、OAuth协议、协议分析

所属期刊栏目：27

资助基金：河南省教育厅2016年度教师教育课程改革研究项目2016-JSJYYB-080;河南省科技攻关项目172102310702;河南省教育厅科技研究重点项目17A520049,17A630046;南阳师范学院校级项目QN2017064

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

页数：共4页

页码：212-215