-
公开(公告)号：CN119228375A
公开(公告)日：2024-12-31
申请号：CN202411336161.8
申请日：2024-09-24
Applicant: 华中科技大学
Abstract: 本发明公开了一种基于异常代币流的价格操纵攻击合约检测方法及系统。首先，对于合约的所有外部调用，从字节码层面提取相关信息，包括目标合约地址和目标函数选择子。然后，基于生成的过程间的控制流图，通过提取的调用信息扩展基本块作为节点，并结合跳转关系和跨合约分析构建跨合约的函数调用点图。接着，基于外部调用的具体行为，提取其对应的代币操作，并构建代币流图。最后，遍历代币流图中的敏感路径，并根据预定义的价格操纵模式判断合约是否用于价格操纵攻击。本发明仅从合约字节码出发，无需任何交易信息，因此一旦具有潜在价格操纵攻击意图的智能合约部署上链，本发明能够立即检测并生成预警信息。
-
公开(公告)号：CN119473280A
公开(公告)日：2025-02-18
申请号：CN202411439412.5
申请日：2024-10-15
Applicant: 华中科技大学
Abstract: 本发明涉及人机交互和软件工程领域，提供一种基于多模态大模型的用户界面代码生成方法、系统及设备，该方法包括如下步骤：根据UI设计图构建页面转换图；提取UI设计图中的UI组件并分析其功能，得到UI组件分析结果；将页面转换图、UI组件分析结果以及UI设计图进行整合生成提示词；将提示词输入多模态大模型，多模态大模型根据提示词生成用户界面代码。本发明解决了当前UI开发中存在的效率低下、复杂设计难以处理、交互逻辑理解有限等问题。本发明为声明式UI框架的广泛应用和进一步发展提供了强有力的技术支持，推动了整个UI开发生态系统的进步。
-
公开(公告)号：CN118552307A
公开(公告)日：2024-08-27
申请号：CN202410430114.3
申请日：2024-04-10
Applicant: 华中科技大学
Abstract: 本发明公开了一种以太坊套利交易检测方法及系统。通过基于去中心化交易所信息获取和机遇交易日志的信息提取获取到交易中的换币信息。在获取到换币信息后，对货币交易信息的图结构构造并对图中节点进行删除，边进行重构处理，能够针对假阳性和假阴性进行较好的判断识别，提高了以太坊套利交易识别的准确率。
-
公开(公告)号：CN118468279A
公开(公告)日：2024-08-09
申请号：CN202410511105.7
申请日：2024-04-26
Applicant: 华中科技大学
Abstract: 本发明公开了一种以太坊智能合约地址漏洞检测方法及系统。首先将智能合约的字节码解析为基本块，并生成相应的控制流图。接着，根据控制流图模拟智能合约的执行，同时跟踪数据的污点信息。最后根据模拟的结果，判断智能合约是否存在地址验证漏洞。本发明采用静态模拟技术，能够对智能合约进行深入、全面的分析，不受合约大小或复杂性的限制。同时，结合污点分析技术，可以准确地跟踪数据的流动，从而识别出潜在的地址验证漏洞，能够更全面地关注地址验证漏洞，能够检测出更为微妙和复杂的安全问题。这不仅有助于提高智能合约的整体安全性，也为开发者和审计员提供了一个强有力的工具，帮助他们在合约部署之前发现和修复潜在的安全漏洞。
-
公开(公告)号：CN107098563B
公开(公告)日：2019-11-12
申请号：CN201710321052.2
申请日：2017-05-09
Applicant: 华中科技大学 , 武汉世峰环保设备有限公司
IPC: C02F11/15 , C02F11/121 , C02F11/00
Abstract: 本发明属于污泥处置相关设备领域，并公开了一种布袋式电解脱水工具，其包括网架、脱水滤袋、导电金属网、环形固定件和多个阳极金属棒，其中网架整体呈同轴套设的内外双层圆柱体的形式，并作为其他部件的安装基础；脱水滤袋沿着轴向方向紧贴安装在网架的外层圆柱体外侧，导电金属网则分别紧贴安装在网架的外内层圆柱体上；环形固定件用于将多个阳极金属棒固定及连接在一起，并实现阳极金属棒与导电金属网之间在通电时的电连接。通过本发明，与现有设备相比不仅能够显著提高污泥脱水操作的便利度和效率，而且还具备结构布局紧凑合理、运行维护成本低、没有二次污染隐患，以及受地域影响影响小，不需要庞大的机械运输和其他配套装置等优点。
-
Patent Agency Ranking
公开(公告)号：CN119293793A
公开(公告)日：2025-01-10
申请号：CN202411302020.4
申请日：2024-09-18
Applicant: 华中科技大学
IPC: G06F21/57 , G06F11/362 , G06F11/3698 , H04L9/40
Abstract: 本发明提供一种基于动态插桩的智能合约Temporal Property监控方法及系统，包括以下内容：设计针对智能合约的temporal property specification语言、优化的LTL转换算法、实现对specification中出现变量的动态监测，该方法在以太坊虚拟机(EVM)层面实现Vector Clock机制和资源状态跟踪，并提供多层Mapping追溯的SHA3指令缓存与Slot逆向分析系统。本发明在以太坊虚拟机(EVM)层面实现Vector Clock机制和资源状态跟踪，通过结合智能合约特性的specification设计、高效的LTL转换以及精确的变量监测，实现了对智能合约temporal property的全面且高效的监控。能够高效、准确且对现有合约代码无侵入的安全检测。
-
公开(公告)号：CN119232435A
公开(公告)日：2024-12-31
申请号：CN202411258754.7
申请日：2024-09-09
Applicant: 华中科技大学
IPC: H04L9/40 , G06Q30/0251
Abstract: 本发明公开了一种利用大语言模型分析以太坊攻击并生成攻击报告的方法，本发明涉及模型分析技术领域，包括攻击交易的获取与输入：首先，通过部署节点监控来从以太坊网络中收集潜在的攻击交易，该监控通过连接至以太坊的全节点，实时监控区块链上所有新的交易和区块，它自动地识别那些与已知攻击模式相似的交易，并分析交易模式，以识别异常或可疑的交易行为，这种高效的筛选过程能够准确地挑选出涉及智能合约恶意行为的交易，这些交易随后将作为后续分析流程的基础数据。该利用大语言模型分析以太坊攻击并生成攻击报告的方法，通过大语言模型的引入，极大地减少了人工审查的工作量，实现了攻击交易分析的自动化与智能化，显著提高了分析效率。
-
公开(公告)号：CN118246013A
公开(公告)日：2024-06-25
申请号：CN202410412880.7
申请日：2024-04-08
Applicant: 华中科技大学
Abstract: 本发明公开了一种基于语义信息提取的Android应用跨语言静态分析方法及系统。先提取本地代码的语义摘要，然后将JNI接口函数的使用模式转换为相应的Java字节码操作，并将本地库函数调用提升为字节码调用。通过利用本地二进制数据流分析，可以揭示这些操作之间的跨语言数据流关系，为本地代码分析提供了一个有前景的方向。本发明能够有效地桥接Android应用中的Dex字节码和本地代码之间的分析鸿沟，从而实现了网络信息安全检测。
-
公开(公告)号：CN107098563A
公开(公告)日：2017-08-29
申请号：CN201710321052.2
申请日：2017-05-09
Applicant: 华中科技大学 , 武汉世峰环保设备有限公司
Abstract: 本发明属于污泥处置相关设备领域，并公开了一种布袋式电解脱水工具，其包括网架、脱水滤袋、导电金属网、环形固定件和多个阳极金属棒，其中网架整体呈同轴套设的内外双层圆柱体的形式，并作为其他部件的安装基础；脱水滤袋沿着轴向方向紧贴安装在网架的外层圆柱体外侧，导电金属网则分别紧贴安装在网架的外内层圆柱体上；环形固定件用于将多个阳极金属棒固定及连接在一起，并实现阳极金属棒与导电金属网之间在通电时的电连接。通过本发明，与现有设备相比不仅能够显著提高污泥脱水操作的便利度和效率，而且还具备结构布局紧凑合理、运行维护成本低、没有二次污染隐患，以及受地域影响影响小，不需要庞大的机械运输和其他配套装置等优点。
-
公开(公告)号：CN118468266A
公开(公告)日：2024-08-09
申请号：CN202410500300.X
申请日：2024-04-24
Applicant: 华中科技大学
IPC: G06F21/55
Abstract: 本发明公开了一种基于事件交互的小程序动静态结合分析方法及系统，包括：1)基于事件驱动的小程序静态分析，通过分析小程序渲染层组件所绑定的触发事件及逻辑层的相应事件处理函数，构建小程序页面状态转移图与回调函数控制流图，显著增强了静态分析的范围和精度。再结合静态数据流分析，为小程序构建一种包含页面转移、控制依赖、数据依赖的综合拓扑结构，即小程序依赖图。2)在动态分析部分，以小程序依赖图为指导，分别以分包加载和敏感行为触发为目标，根据小程序依赖图分析可能的执行路径，对执行路径进行探索，尽可能触发小程序分包加载和敏感行为。并对小程序进行插桩，对组件的敏感行为的运行状态进行监测，得到小程序敏感行为集合。
-
-
-
-
-
-
-
-
-
Search Results
14
records
(took 0.02 seconds)
