-
公开(公告)号：CN113193998A
公开(公告)日：2021-07-30
申请号：CN202110463748.5
申请日：2021-04-27
Applicant: 清华大学
Abstract: 本发明公开一种网络仿真方法，应用于可编程交换机，所述网络仿真方法包括以下步骤：获取待仿真网络的网络拓扑的第一描述参数；根据所述第一描述参数，在所述可编程交换机的端口中，确定所述网络拓扑中的第一端口映射的第二端口；根据所述第一描述参数链接各个所述第二端口。本发明还公开一种可编程交换机和计算机可读存储介质。本发明构建的仿真网络具有真实性高、可重现性高以及适用大型生产网络优点。
-
公开(公告)号：CN112367278A
公开(公告)日：2021-02-12
申请号：CN202011212405.3
申请日：2020-11-03
Applicant: 清华大学
IPC: H04L12/931 , H04L12/935 , H04L12/939 , H04L29/08
Abstract: 本发明提供一种基于可编程数据交换机的云网关系统及其报文处理方法，该系统包括可编程交换机和后端服务器，可编程交换机与后端服务器连接；可编程交换机用于接收外部的数据包，检测外部的数据包的报文是否为控制报文，当数据包的报文为控制报文时，将控制报文发送至后端服务器；接收后端服务器发送的控制报文和第三存储索引值，根据第三存储索引值和控制报文更新可编程交换机的连接状态信息；后端服务器用于接收可编程交换机发送的控制报文，当控制报文对应的连接的第一存储索引值与已有的连接的第二存储索引值存在冲突时，对控制报文对应的连接重新计算获得第三存储索引值，将第三存储索引值和控制报文发送至可编程交换机。
-
公开(公告)号：CN118331536A
公开(公告)日：2024-07-12
申请号：CN202410388718.6
申请日：2024-04-01
Applicant: 清华大学
Abstract: 本申请涉及通信技术领域，特别涉及一种浮点数指数压缩方法、装置、发送端、接收端及介质，其中，方法包括：获取数据并行分布式机器学习训练过程中待发送的目标梯度数据；识别目标梯度数据中各个梯度浮点数，从各个梯度浮点数分离出符号位、尾数部分和浮点数指数，对浮点数指数进行编码得到压缩数据；根据符号位、尾数部分和压缩数据生成通信数据，发送通信数据至接收端。由此，解决了相关技术中由于梯度数据量过大导致机间无法及时传输通信数据，从而降低数据并行分布式训练的效率等问题。
-
公开(公告)号：CN111726368B
公开(公告)日：2021-05-11
申请号：CN202010632607.7
申请日：2020-07-02
Abstract: 本发明涉及一种基于SRv6的域间源地址验证的方法，其特征在于包括以下步骤：1)在网络中每个受信任的AS域以及主干网中预设的所有源地址验证节点使能SRv6，并确定各AS域以及主干网之间进行通信时，用于进行源地址验证的SRH扩展头的相关信息；2)受信任的AS域在需要保护的数据包的IPv6报头中添加SRH扩展头后，将其转发至主干网，由主干网中的源地址验证节点进行源地址验证服务。本发明通过SRv6技术将需要验证的报文引入能提供验证服务的节点，能够解决域间源地址伪造问题，而不改变现有网络结构。因此，可以广泛应用于互联网技术领域。
-
公开(公告)号：CN114095237B
公开(公告)日：2023-06-27
申请号：CN202111362320.8
申请日：2021-11-17
Applicant: 清华大学
IPC: H04L9/40
Abstract: 本申请提出一种基于区块链的去中心化的域间源地址验证服务系统和方法，该系统包括服务订阅者，用于查找对应的服务提供者，向对应的服务提供者按需请求指定的服务，并通过调用智能合约中的激励分配方案、通过激励分配接口，向服务提供者和服务审计者分配激励；服务提供者，用于获取当前区块链中各种请求服务的事务，根据事务向对应的服务订阅者提供服务；服务审计者，用于在服务订阅者订阅服务后发起相应的审计服务的请求，并通过审计服务接口提交审计结果，获取对应的激励，其中，审计服务包括洪泛攻击场景下的审计和反射式攻击场景下的审计。本申请通过提供一个实用、去中心化的自治域间源地址验证服务框架，激励源地址验证技术的部署。
-
Patent Agency Ranking
公开(公告)号：CN115292676A
公开(公告)日：2022-11-04
申请号：CN202210960161.X
申请日：2022-08-11
Applicant: 清华大学
Abstract: 本发明涉及一种可编程数据平面程序验证方法及装置，其包括：将数据平面程序形式化，获取形式化的语义；将形式化后的数据平面程序进行统一的验证规范表达，用于表达意图；对验证规范后的数据平面程序进行正确性验证，验证程序是否包含潜在的安全漏洞、是否和意图一致。本发明能验证数据平面程序的正确性。
-
-
公开(公告)号：CN114095237A
公开(公告)日：2022-02-25
申请号：CN202111362320.8
申请日：2021-11-17
Applicant: 清华大学
IPC: H04L9/40
Abstract: 本申请提出一种基于区块链的去中心化的域间源地址验证服务系统和方法，该系统包括服务订阅者，用于查找对应的服务提供者，向对应的服务提供者按需请求指定的服务，并通过调用智能合约中的激励分配方案、通过激励分配接口，向服务提供者和服务审计者分配激励；服务提供者，用于获取当前区块链中各种请求服务的事务，根据事务向对应的服务订阅者提供服务；服务审计者，用于在服务订阅者订阅服务后发起相应的审计服务的请求，并通过审计服务接口提交审计结果，获取对应的激励，其中，审计服务包括洪泛攻击场景下的审计和反射式攻击场景下的审计。本申请通过提供一个实用、去中心化的自治域间源地址验证服务框架，激励源地址验证技术的部署。
-
公开(公告)号：CN111726368A
公开(公告)日：2020-09-29
申请号：CN202010632607.7
申请日：2020-07-02
Applicant: 清华大学
Abstract: 本发明涉及一种基于SRv6的域间源地址验证的方法，其特征在于包括以下步骤：1)在网络中每个受信任的AS域以及主干网中预设的所有源地址验证节点使能SRv6，并确定各AS域以及主干网之间进行通信时，用于进行源地址验证的SRH扩展头的相关信息；2)受信任的AS域在需要保护的数据包的IPv6报头中添加SRH扩展头后，将其转发至主干网，由主干网中的源地址验证节点进行源地址验证服务。本发明通过SRv6技术将需要验证的报文引入能提供验证服务的节点，能够解决域间源地址伪造问题，而不改变现有网络结构。因此，可以广泛应用于互联网技术领域。
-
公开(公告)号：CN118331535A
公开(公告)日：2024-07-12
申请号：CN202410388717.1
申请日：2024-04-01
Applicant: 清华大学
Abstract: 本申请涉及通信技术领域，特别涉及一种浮点数尾数压缩方法、装置、发送端、接收端及介质，其中，方法包括：获取数据并行分布式机器学习训练过程中待发送的目标梯度数据；识别目标梯度数据中各个梯度浮点数和梯度对应参数，从各个梯度浮点数分离出浮点数尾数和指数部分，基于梯度对应参数确定浮点数尾数的量化等级；基于量化等级对浮点数尾数进行移位压缩得到压缩数据，根据压缩数据、指数部分和量化等级生成通信数据，发送通信数据至接收端。由此，解决了相关技术中由于梯度数据量过大导致机间无法及时传输通信数据，从而降低数据并行分布式训练的效率等问题。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.018 seconds)
