公开(公告)号：CN116346336B

公开(公告)日：2024-02-06

申请号：CN202310285239.7

申请日：2023-03-22

Applicant: 华中科技大学

Inventor： 龚百川 ,  徐可彤 ,  高永鹏 ,  邱士煜 ,  徐鹏

IPC: H04L9/08 ,  H04L9/40 ,  H04L47/125

Abstract: 本发明公开了一种基于多层密钥生成中心的密钥分发方法及相关系统，属于密码学领域。多层密钥生成中心包括一级PKG和多个二级PKG，密钥分发方法包括：S1，二级PKG接收用户的私钥申请请求，并检索数据库中是否存储用户的私钥，若是，则将其发送给用户；若否，执行S2；S2，二级PKG使用约定的通信协议向一级PKG转发用户的私钥申请请求；S3，一级PKG通过二级PKG的公钥验证二级PKG的身份；若验证通过，一级PKG生成用户的私钥并使用二级PKG的公钥和自身的私钥通过约定的通信协议发送给二级PKG；S4，二级PKG验证一级PKG发送的用户私钥，若验证成功，则将其存入数据库并发送给用户。如此，本发明能有效解决高并发问题，突破单一中心式的PKG存在的性能瓶颈。

公开(公告)号：CN118200211A

公开(公告)日：2024-06-14

申请号：CN202410292915.8

申请日：2024-03-14

Applicant: 华中科技大学

Inventor： 付才 ,  田博原 ,  徐可彤

IPC: H04L43/18 ,  G06F40/30 ,  G06N3/0455 ,  G06N3/08

Abstract: 本申请公开了一种协议语义分析方法、计算机设备及存储介质。该方法包括：获取待分析的协议信息，其包括协议代码和协议架构；根据协议架构对应的指令集中各指令的类型和地址，将协议代码划分成多个函数，每个函数包含多个基本块；基于多个函数之间的调用关系以及每个函数所包含的基本块之间的调用关系，生成协议代码的控制流图；对协议代码进行污点分析，以获取协议代码中所有函数变量的污染关系及数学表达式；以协议代码的行数为横坐标、函数变量的地址为纵坐标、函数变量为结点、函数变量的污染关系为边、函数变量的数学表达式为结点的内容，生成协议代码的数据流图；对协议代码的控制流图和数据流图进行语义分析，预测协议代码的完整语义。

公开(公告)号：CN116346336A

公开(公告)日：2023-06-27

申请号：CN202310285239.7

申请日：2023-03-22

Applicant: 华中科技大学

Inventor： 龚百川 ,  徐可彤 ,  高永鹏 ,  邱士煜 ,  徐鹏

IPC: H04L9/08 ,  H04L9/40 ,  H04L47/125

Abstract: 本发明公开了一种基于多层密钥生成中心的密钥分发方法及相关系统，属于密码学领域。多层密钥生成中心包括一级PKG和多个二级PKG，密钥分发方法包括：S1，二级PKG接收用户的私钥申请请求，并检索数据库中是否存储用户的私钥，若是，则将其发送给用户；若否，执行S2；S2，二级PKG使用约定的通信协议向一级PKG转发用户的私钥申请请求；S3，一级PKG通过二级PKG的公钥验证二级PKG的身份；若验证通过，一级PKG生成用户的私钥并使用二级PKG的公钥和自身的私钥通过约定的通信协议发送给二级PKG；S4，二级PKG验证一级PKG发送的用户私钥，若验证成功，则将其存入数据库并发送给用户。如此，本发明能有效解决高并发问题，突破单一中心式的PKG存在的性能瓶颈。