公开(公告)号：CN109150833A

公开(公告)日：2019-01-04

申请号：CN201810798875.9

申请日：2018-07-19

Applicant: 华东交通大学

Inventor： 肖美华 ,  杨科 ,  王西忠 ,  谌佳 ,  宋佳雯 ,  钟小妹

IPC: H04L29/06 ,  H04L12/24

CPC classification number: H04L63/20 ,  H04L41/145 ,  H04L63/1416 ,  H04L63/1433

Abstract: 本发明提供了一种基于模型检测的安全协议形式化验证方法。该方法以基于算法知识逻辑的入侵者模型为理论基础，在运用SPIN/Promela对大量网络安全协议建模分析的实践上，采用模型检测技术，设计并实现了网络安全协议验证模型生成系统。该系统中针对不同类型协议提供了相应的建模方法，如组合身份逻辑建模法、双通道攻击者拦截建模法、攻击者知识库函数建模法、四通道并行建模法用于安全协议的Promela建模，有效满足了多种不同类型安全协议的分析需求，对于安全协议中攻击者知识库的大小则采用了程序枚举法进行构建。此外系统中内置了静态分析、语法重定序以及偏序归约这三项优化策略，能够有效缓解安全协议模型检测过程中的状态爆炸问题。

公开(公告)号：CN114051236B

公开(公告)日：2022-04-12

申请号：CN202210029505.5

申请日：2022-01-12

Applicant: 华东交通大学

Inventor： 杨科 ,  肖美华 ,  钟小妹 ,  朱志亮

IPC: H04W12/02 ,  H04W12/033 ,  H04W12/0431 ,  H04W12/126 ,  H04W40/02 ,  H04W40/22

Abstract: 本发明涉及通信领域，尤其涉及基于重路由机制的匿名通信方法、系统、介质及电子设备。该方法包括：步骤1，基于构建请求信息，通过重路由机制构建匿名通信链路；步骤2，接收用户端对匿名通信链路的配置，通过配置后的匿名通信链路对待发送数据包处理，得到封装匿名通信数据包，并以填充发送的方式将封装匿名通信数据包发送至接收端。通过发明可以有效地实现发送者匿名和接收者匿名。匿名通信消息的发送基于重路由机制，提高传输的安全性，引入了填充发送的方式可以有效防止流量攻击，同时有效的节约带宽。

公开(公告)号：CN114051236A

公开(公告)日：2022-02-15

申请号：CN202210029505.5

申请日：2022-01-12

Applicant: 华东交通大学

Inventor： 杨科 ,  肖美华 ,  钟小妹 ,  朱志亮

IPC: H04W12/02 ,  H04W12/033 ,  H04W12/0431 ,  H04W12/126 ,  H04W40/02 ,  H04W40/22

Abstract: 本发明涉及通信领域，尤其涉及基于重路由机制的匿名通信方法、系统、介质及电子设备。该方法包括：步骤1，基于构建请求信息，通过重路由机制构建匿名通信链路；步骤2，接收用户端对匿名通信链路的配置，通过配置后的匿名通信链路对待发送数据包处理，得到封装匿名通信数据包，并以填充发送的方式将封装匿名通信数据包发送至接收端。通过发明可以有效地实现发送者匿名和接收者匿名。匿名通信消息的发送基于重路由机制，提高传输的安全性，引入了填充发送的方式可以有效防止流量攻击，同时有效的节约带宽。