公开(公告)号：CN118413353A

公开(公告)日：2024-07-30

申请号：CN202410429043.5

申请日：2024-04-10

Applicant: 复旦大学 ,  上海卫星工程研究所

Inventor： 曹岸杰 ,  郭禹辰 ,  邹浩博 ,  刘阳 ,  张凌云 ,  陈平

IPC: H04L9/40 ,  H04L69/08 ,  H04B7/185

Abstract: 本发明公开了一种卫星协议漏洞分析方法及系统，其中，方法包括：包括：步骤S1、构建通用协议描述语言，以描述卫星协议；步骤S2、基于所述通用协议描述语言构造协议状态机模型，以模拟所述卫星协议的各种状态转换和行为，并预测所述卫星协议的返回状态；步骤S3、利用协议状态探索工具嗅探待测卫星的卫星协议的实际返回状态；步骤S4、利用协议状态重放工具重现预测的所述卫星协议的返回状态和所述卫星协议的实际返回状态，将所述实际返回状态与预测的所述卫星协议的返回状态进行对比分析。本发明能够对卫星协议的状态进行自动化分析，精准的发现协议安全漏洞，从而能够对漏洞进行更好的修复和防御，极大减轻漏洞分析中人的负担。

公开(公告)号：CN119071083A

公开(公告)日：2024-12-03

申请号：CN202411372542.1

申请日：2024-09-29

Applicant: 上海卫星工程研究所

Inventor： 曹岸杰 ,  郭禹辰 ,  卢昕 ,  王跃霖 ,  汪伊婕 ,  陈平 ,  王瀚霆 ,  狄慧

IPC: H04L9/40 ,  H04L43/18

Abstract: 本发明提供了一种基于状态保存/恢复的协议漏洞分析方法及系统，包括：步骤S1：获取格式不明的协议的协议状态；步骤S2：当协议状态覆盖率满足预设要求时，则根据状态信息判断协议的异常情况；步骤S3：对基于状态的协议进行保存、恢复与自动分析。本发明提高了模糊测试的效率和准确性，为发现和修复协议中的安全问题提供了一种有效的技术手段。