-
公开(公告)号：CN118585425A
公开(公告)日：2024-09-03
申请号：CN202410531882.8
申请日：2024-04-29
Applicant: 武汉大学
Abstract: 本发明涉及智能合约技术领域，提供一种基于函数依赖的跨合约模糊测试方法、装置、设备和介质，包括：将待测智能合约编译为字节码，并生成与字节码对应的合约调用接口；生成待测智能合约的跨合约数据调用图与函数调用列表；基于待测智能合约的跨合约数据调用图以及合约调用接口，应用于ContractRank算法，得到待测智能合约的函数重要度集合；基于待测智能合约的字节码、合约调用接口、函数重要度集合和函数调用列表，生成待测智能合约的测试用例；调用以太坊虚拟机对待测智能合约的测试用例进行模糊测试。本发明能够快速、有效地发现智能合约中的漏洞。
-
公开(公告)号：CN113436456B
公开(公告)日：2022-03-15
申请号：CN202110635988.9
申请日：2021-06-08
Applicant: 武汉大学
IPC: G08G1/0967 , G08G1/127 , G08G1/14 , H04L9/32 , H04W4/42 , H04W12/02 , H04W12/06 , H04W12/106 , G06Q10/02
Abstract: 本发明提出了一种基于区块链的安全高效长程自主泊车预约服务方法。本发明公共出行站台基于生物特征、口令和智能卡对发送乘车请求的已注册乘客进行认证。认证通过后，公共出行站台根据乘客出行时长、可用停车位的等待时长和可用自动驾驶汽车的等待时长为乘客匹配最佳卸客公共出行站台、停车场和自动驾驶汽车。匹配的自动驾驶汽车开往载客公共出行站台进行认证和接载乘客，将乘客送至卸客公共出行站台并认证。认证成功后乘客步行至目的地，自动驾驶汽车开往停车场进行核验和泊车，公共出行站台将交易信息存储在区块链上用于溯源追责。本发明提高了长程自主泊车预约服务的安全性，降低了通信开销、计算开销。
-
公开(公告)号：CN110162967A
公开(公告)日：2019-08-23
申请号：CN201910408995.8
申请日：2019-05-15
Applicant: 武汉大学
IPC: G06F21/52
Abstract: 本发明公开了一种基于MPX的内存时间错误防护方法，首先进行代码指针元数据准备；然后对元数据指针元数据进行索引和管理；在代码指针加载时，将生成的指针元数据加载进影子内存；接着在代码指针解引用前，对代码指针进行合法性检查；最后进行影子内存中的指针元数据回收；本发明为MPX在指针解引用前添加了对指针指向对象的合法性检查，攻击者无法利用内存时间错误造成指针指向内存对象与程序正常控制流预期的内存对象不一致，能够实现对内存时间错误攻击的防护。
-
公开(公告)号：CN118473722A
公开(公告)日：2024-08-09
申请号：CN202410531860.1
申请日：2024-04-29
Applicant: 武汉大学
Abstract: 本发明提供一种面向物联网设备群的群证明方法、装置、设备和介质，方法包括：验证者向设备群发起认证请求；证明者收到所述认证请求后，通过代理验证所述验证者的可信凭证，以检查所述认证请求的有效性；在确认所述认证请求有效的情况下，证明者生成证明报告，并将包含认证响应的证明报告发送至所述验证者；验证者收到所述认证响应后，通过所述代理验证所述证明者的可信凭证；所述可信凭证是网络所有者为所述设备群中各设备，以及所述验证者生成的，所述可信凭证存储在区块链上。本发明提供的面向物联网设备群的群证明方法、装置、设备和介质，通过基于代理的去中心化身份远程证明方案，克服了现有研究中对集中式身份的依赖。
-
公开(公告)号：CN113436456A
公开(公告)日：2021-09-24
申请号：CN202110635988.9
申请日：2021-06-08
Applicant: 武汉大学
IPC: G08G1/0967 , G08G1/127 , G08G1/14 , H04L9/32 , H04W4/42 , H04W12/02 , H04W12/06 , H04W12/106 , G06Q10/02
Abstract: 本发明提出了一种基于区块链的安全高效长程自主泊车预约服务方法。本发明公共出行站台基于生物特征、口令和智能卡对发送乘车请求的已注册乘客进行认证。认证通过后，公共出行站台根据乘客出行时长、可用停车位的等待时长和可用自动驾驶汽车的等待时长为乘客匹配最佳卸客公共出行站台、停车场和自动驾驶汽车。匹配的自动驾驶汽车开往载客公共出行站台进行认证和接载乘客，将乘客送至卸客公共出行站台并认证。认证成功后乘客步行至目的地，自动驾驶汽车开往停车场进行核验和泊车，公共出行站台将交易信息存储在区块链上用于溯源追责。本发明提高了长程自主泊车预约服务的安全性，降低了通信开销、计算开销。
-
Patent Agency Ranking
公开(公告)号：CN103279421A
公开(公告)日：2013-09-04
申请号：CN201310237839.2
申请日：2013-06-14
Applicant: 武汉大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于数据起源技术的程序异常传播模型构造方法，本发明的异常传播模型的构造分为三个阶段：第一个阶段针对程序的每个方法构造方法的异常控制流图，第二个阶段基于生成的控制流图，进行数据流分析，生成异常的派生图和异常处理动作序列。第三个阶段将根据程序的每个方法之间的调用关系，将各个方法的异常传播图进行合并，生成整个程序的异常传播模型。本发明中的异常传播模型具有丰富的表达能力，能够完整表达和展现软件异常传播演变的过程，可以更有效辅助开发人员理解程序中的异常处理过程，分析异常处理机制中存在的问题，支持异常处理过程测试用例的组织，从而设计出合理有效的异常处理方案，使软件具有更高的健壮性。
-
公开(公告)号：CN119834345A
公开(公告)日：2025-04-15
申请号：CN202411861899.6
申请日：2024-12-17
Applicant: 中冶南方都市环保工程技术股份有限公司 , 武汉大学
Inventor： 王小龙 , 张亚伟 , 刘冠中 , 王俊 , 石云飞 , 李桂玲 , 张立强 , 王纾淇 , 柯广 , 蔡威 , 柯焰明 , 何雄峰 , 殷洪顺 , 苏雪泽 , 原庆军 , 余振义 , 赵凤英 , 冯泽嵩 , 王子康 , 宋启亮 , 张亚坤 , 廖思阳 , 周强
Abstract: 本发明公开了一种考虑负荷重要程度及停电用户数目的孤岛划分方法和系统，该方法包括建立配电网节点网络图，并按照负荷重要程度划分一级负荷、二级负荷和三级负荷；基于配电网节点网络图，以分布式电源接入点为孤岛中心起始点，确定孤岛边界；采用分布式电源功率圆方法搜索确定孤岛边界内的一级负荷；在搜索完一级负荷后，若分布式电源存在剩余容量，则考虑二级负荷和三级负荷及负荷节点所含用户数量，以最大等值负荷和负荷节点用户数最多为目标建立多目标优化模型，并基于多目标优化模型进行孤岛划分。本发明在考虑负荷重要程度和停电用户数目情况下进行孤岛划分，可显著提高电网的整体供电可靠性和稳定性。
-
公开(公告)号：CN118568760A
公开(公告)日：2024-08-30
申请号：CN202410531601.9
申请日：2024-04-29
Applicant: 武汉大学
IPC: G06F21/62
Abstract: 本申请公开了一种数据溯源方法、装置、介质、设备及产品，其中方法包括：获取目标文件中的原始数据；对原始数据进行滑窗处理，得到原始数据的多个字节片段；基于哈希函数生成各个字节片段对应的字节特征向量；设置各个字节特征向量的权重并将添加权重后的各个字节特征向量进行加和，得到目标文件的文件特征向量；基于文件特征向量生成目标文件的指纹，并将目标文件的指纹与数据库中存储的指纹进行匹配，在匹配成功的情况下，确定目标文件发生泄露。本申请提供的方法和装置，可以快速判断目标文件是否泄露，从而提高数据溯源效率。
-
公开(公告)号：CN118520491A
公开(公告)日：2024-08-20
申请号：CN202410531530.2
申请日：2024-04-29
Applicant: 武汉大学
Abstract: 本申请公开了一种基于关系数据指纹的泄露溯源方法及装置，其中方法应用于数据分发者，数据分发者与第三方和数据接收者连接；该方法包括：基于信息纯度度量一致原则将待分发数据集各个元组的属性值映射在目标区间，得到待分发数据集的基值数据集和差值数据集；在差值数据集中嵌入待分发数据集的数据交易的索引指纹，并基于同态加密的方式对差值数据集和基值数据集进行加密；将加密差值数据集和加密基值数据集发送至数据接收者；使得在待分发数据集被泄露的情况下，基于数据交易的索引指纹、数据接收者的用户指纹和第三方对待分发数据集的泄露进行追溯。本申请提供的方法和装置，可以兼顾数据可用性和水印鲁棒性，进行有效的数据资产泄露溯源。
-
公开(公告)号：CN117891609A
公开(公告)日：2024-04-16
申请号：CN202410103195.6
申请日：2024-01-24
Applicant: 武汉大学
IPC: G06F9/50 , H04L47/78 , H04L67/1004
Abstract: 本发明公开了一种面向云边端协同网络的eBPF赋能任务卸载方法及系统，首先利用eBPF技术在云端设备和边缘设备上进行Linux内核函数跟踪，以收集网络信息和算力信息；然后，基于所得数据构建算力资源拓扑图；接着基于算力资源拓扑图设计计算资源和网络资源协同的负载均衡机制，制定端侧设备任务实时卸载策略；最后在端侧，将端任务卸载到边缘节点或者云节点执行；当资源负载不均衡或者任务执行无法满足用户需求时，通过移植的eBPF虚拟机执行由云端设备或者边缘设备下发的eBPF任务卸载策略代码，实现动态将任务重新卸载到最合适的执行位置。本发明实现了动态将任务重新卸载到最合适的执行位置，以有效匹配算力供给与需求，提升系统整体资源利用率。
-
-
-
-
-
-
-
-
-
Search Results
16
records
(took 0.019 seconds)
