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

本文在OAuth2.0授权码模型的基础上做出改进,采用HLPSL语言对授权码模型进行形式化建模,建立OAuth2.0协议授权码模型形式化模型,找到授权码模型出现安全漏洞的根本原因是客户端凭证可以被攻击者窃取。结合惰性无限状态方法和惰性攻击者优化方法对形式化模型分析和验证。提出OAuth2.0安全授权码模型,并分析和验证其在理论上无安全漏洞。通过的研究,本文可以提供一套安全的OAuth2.0授权协议模型,对目前安全要求高的开放平台的授权是有指导意义的。

网络通信软件结构测试数据定位方法研究

针对传统网络通信软件结构测试数据定位未能识别出网络通信软件的数据特征,导致定位能力较差,提出一种网络通信软件结构测试数据定位方法,首先分析网络通信软件研究现状,在此基础上,分析网络通信软件结构测试数据,并提取测试数据信号特征,全面分析网络通信软件结构测试数据特征,实现网络通信软件结构测试数据定位。研究实验表明,网络通信软件结构测试数据定位性能强,具有较高的实际应用性。