发明专利已授权

一种基于形式化验证的智能合约安全审核系统及方法

📄 申请号：CN202410713333.2 📄 发布日：2026/05/07

著录项目信息

申请日

2024-06-04

公开号

CN118277284B

公开日

2024-10-29

申请人

华东交通大学

法律状态

已下证

专利类型

发明

主分类号

G06F11_36

IPC 分类号

G06F11_36 , G06F21_57 , G06F18_22 ,

技术画像

所属领域

形式化验证形式化验证智能合约安全区块链技术

应用场景

智能合约安全审计, 区块链安全防护, 去中心化金融安全, 代码漏洞检测

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

本发明涉及一种基于形式化验证的智能合约安全审核系统及方法，本发明集成了输入模块、静态分析模块、形式化验证模块、模拟执行模块以及报告与建议模块，能够在智能合约部署前，通过形式化验证等分析技术，精确地发现智能合约的安全漏洞和逻辑缺陷等问题，从而显著提升其安全性，减少因代码缺陷可能导致的经济损失。本发明大幅度提高了智能合约审核的效率，缩短了开发周期，同时生成易于理解的安全审计报告和提供实用的定制化修复建议，能够帮助开发者改进代码，建立用户信任，为整个区块链生态系统的稳定性和可靠性做出了重要贡献。

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

一种基于机器视觉的电力作业违规行为检测方法及系统

当前第 / 件

基于广义GNC的统一电能质量调节器的稳定性分析方法

同领域国内专利 · IPC: (G06F11_36)

G06F11_00 G06F11_07 G06F11_08 G06F11_10 G06F11_14 G06F11_1446 G06F11_20 G06F11_22 G06F11_26 G06F11_263 G06F11_267 G06F11_27 G06F11_273 G06F11_30 G06F11_32 G06F11_34 G06F11_36 G06F11_3604 G06F11_362 G06F11_3668 覆盖20个领域

相似专利推荐 AI 驱动 · 同领域

一种恶意软件检测方法及相关设备

¥0.0

2018108515199 · 平安科技(深圳)有限公司

数字签名处理方法、装置、计算机设备和存储介质

¥0.0

2021116154461 · 深圳市名竹科技有限公司

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：76 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)