软件学报

作者：申莹珠,顾纯祥,陈熹,张协力,卢政宇

单位：申莹珠，信息工程大学 网络空间安全学院, 河南 郑州 45000111,顾纯祥，信息工程大学 网络空间安全学院, 河南 郑州 450001;河南省网络密码技术重点实验室, 河南 郑州 45000102,陈熹，信息工程大学 网络空间安全学院, 河南 郑州 45000103,张协力，信息工程大学 网络空间安全学院, 河南 郑州 45000104,卢政宇，信息工程大学 网络空间安全学院, 河南 郑州 45000105

关键词：OpenVPN;模型学习;状态模糊测试;脆弱性分析;时间压缩模型

基金：国家自然科学基金（61502533）；河南省自然科学基金（162300410335）

OpenVPN在现实网络中有广泛应用，对其安全性进行评估具有重要的现实意义.基于自动机理论中模型学习的方法，利用协议状态模糊测试的技术对OpenVPN系统进行黑盒测试分析，自动化推演出目标OpenVPN系统的状态机.提出了状态机时间压缩模型并进行冗余状态和迁移化简，可以准确得到协议状态机中的行为特征.发现了多条期望行为路径外的特别行为路径及可能的安全隐患，为OpenVPN的安全性评估提供了新的思路与方法，同时对类似缺少协议规范但应用广泛的安全协议的内部设计细节分析具有重要参考意义.

来源：2019年第12期

《软件学报》期刊编辑部

查看软件学报杂志2019年第12期