基于模型学习的OpenVPN系统脆弱性分析

• 作者: 卢政宇 张协力 申莹珠 陈熹 顾纯祥
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: OpenVPN 模型学习 状态模糊测试 脆弱性分析 时间压缩模型
• 年，卷（期）: 2019,（12）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 3750-3764
• 页数: 15页
• 分类号: TP311
• 字数: 9003字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005612

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾纯祥	信息工程大学网络空间安全学院	20	115	6.0	10.0
3	陈熹	信息工程大学网络空间安全学院	9	8	2.0	2.0
4	申莹珠	信息工程大学网络空间安全学院	3	1	1.0	1.0
7	张协力	信息工程大学网络空间安全学院	2	0	0.0	0.0
8	卢政宇	信息工程大学网络空间安全学院	2	1	1.0	1.0