-
公开(公告)号：CN109150833A
公开(公告)日：2019-01-04
申请号：CN201810798875.9
申请日：2018-07-19
Applicant: 华东交通大学
CPC classification number: H04L63/20 , H04L41/145 , H04L63/1416 , H04L63/1433
Abstract: 本发明提供了一种基于模型检测的安全协议形式化验证方法。该方法以基于算法知识逻辑的入侵者模型为理论基础，在运用SPIN/Promela对大量网络安全协议建模分析的实践上，采用模型检测技术，设计并实现了网络安全协议验证模型生成系统。该系统中针对不同类型协议提供了相应的建模方法，如组合身份逻辑建模法、双通道攻击者拦截建模法、攻击者知识库函数建模法、四通道并行建模法用于安全协议的Promela建模，有效满足了多种不同类型安全协议的分析需求，对于安全协议中攻击者知识库的大小则采用了程序枚举法进行构建。此外系统中内置了静态分析、语法重定序以及偏序归约这三项优化策略，能够有效缓解安全协议模型检测过程中的状态爆炸问题。
-
Patent Agency Ranking
公开(公告)号：CN120070902A
公开(公告)日：2025-05-30
申请号：CN202510559486.0
申请日：2025-04-30
Applicant: 华东交通大学
IPC: G06V10/26 , G06V10/44 , G06V10/80 , G06V10/82 , G06N3/0455 , G06N3/0464
Abstract: 本发明提供了一种点云语义场景补全系统，包括体素化处理模块、多尺度体素特征提取模块和鸟瞰图特征处理模块；体素化处理模块以单帧激光雷达点云为输入，得到初始体素特征；多尺度体素特征提取模块对初始体素特征进行处理，得到多尺度体素特征；鸟瞰图特征处理模块包括编码器和解码器，编码器对初始体素特征进行处理，提取得到多尺度鸟瞰图特征，并将多尺度鸟瞰图特征与多尺度体素特征进行融合，将融合后的特征输送至解码器，解码器基于跳跃连接、特征拼接和内容感知特征重组，最终输出语义场景补全的预测结果。本发明能够解决场景补全完整性差、语义分割精度低的问题。
-
公开(公告)号：CN114051236B
公开(公告)日：2022-04-12
申请号：CN202210029505.5
申请日：2022-01-12
Applicant: 华东交通大学
IPC: H04W12/02 , H04W12/033 , H04W12/0431 , H04W12/126 , H04W40/02 , H04W40/22
Abstract: 本发明涉及通信领域，尤其涉及基于重路由机制的匿名通信方法、系统、介质及电子设备。该方法包括：步骤1，基于构建请求信息，通过重路由机制构建匿名通信链路；步骤2，接收用户端对匿名通信链路的配置，通过配置后的匿名通信链路对待发送数据包处理，得到封装匿名通信数据包，并以填充发送的方式将封装匿名通信数据包发送至接收端。通过发明可以有效地实现发送者匿名和接收者匿名。匿名通信消息的发送基于重路由机制，提高传输的安全性，引入了填充发送的方式可以有效防止流量攻击，同时有效的节约带宽。
-
公开(公告)号：CN113726821B
公开(公告)日：2022-02-22
申请号：CN202111286377.4
申请日：2021-11-02
Applicant: 华东交通大学
IPC: H04L9/40
Abstract: 本发明涉及一种用于安全协议形式化的验证方法及系统，涉及网络安全技术领域，该方法包括：对待验证的安全协议描述，得到安全协议规范；解析安全协议规范，获得协议配置对象；根据协议配置对象构建协议模型；基于协议模型构建攻击者模型，并对攻击者模型进行优化；根据线性时态逻辑刻画安全协议的安全属性；基于优化后的攻击者模型构建通信环境，在通信环境中通过模型检测器SPIN验证协议模型是否满足安全属性，若不满足则由模型检测器SPIN输出攻击路径。本发明可以对不同类型的安全协议建模，具有通用性，能够自动对安全协议的安全性进行验证，具有自动性。
-
公开(公告)号：CN114051236A
公开(公告)日：2022-02-15
申请号：CN202210029505.5
申请日：2022-01-12
Applicant: 华东交通大学
IPC: H04W12/02 , H04W12/033 , H04W12/0431 , H04W12/126 , H04W40/02 , H04W40/22
Abstract: 本发明涉及通信领域，尤其涉及基于重路由机制的匿名通信方法、系统、介质及电子设备。该方法包括：步骤1，基于构建请求信息，通过重路由机制构建匿名通信链路；步骤2，接收用户端对匿名通信链路的配置，通过配置后的匿名通信链路对待发送数据包处理，得到封装匿名通信数据包，并以填充发送的方式将封装匿名通信数据包发送至接收端。通过发明可以有效地实现发送者匿名和接收者匿名。匿名通信消息的发送基于重路由机制，提高传输的安全性，引入了填充发送的方式可以有效防止流量攻击，同时有效的节约带宽。
-
公开(公告)号：CN113726821A
公开(公告)日：2021-11-30
申请号：CN202111286377.4
申请日：2021-11-02
Applicant: 华东交通大学
IPC: H04L29/06
Abstract: 本发明涉及一种用于安全协议形式化的验证方法及系统，涉及网络安全技术领域，该方法包括：对待验证的安全协议描述，得到安全协议规范；解析安全协议规范，获得协议配置对象；根据协议配置对象构建协议模型；基于协议模型构建攻击者模型，并对攻击者模型进行优化；根据线性时态逻辑刻画安全协议的安全属性；基于优化后的攻击者模型构建通信环境，在通信环境中通过模型检测器SPIN验证协议模型是否满足安全属性，若不满足则由模型检测器SPIN输出攻击路径。本发明可以对不同类型的安全协议建模，具有通用性，能够自动对安全协议的安全性进行验证，具有自动性。
-
-
-
-
-
Search Results
6
records
(took 0.017 seconds)
