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

作者：张婷; 张鑫; 张新刚web安全开放授权协议petri网oauth协议协议分析

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社