发明专利已授权

一种基于HCPN的智能合约安全模式形式化与验证方法

📄 申请号：CN202210254594.3 📄 发布日：2026/08/04

著录项目信息

申请日

2022-03-15

公开号

CN114626070B

公开日

2026-02-03

申请人

浙江工业大学

法律状态

已下证

专利类型

发明

主分类号

G06F21_57

IPC 分类号

G06F21_57 , G06F11_3604 ,

技术画像

所属领域

形式化验证形式化验证智能合约安全 Petri网建模

应用场景

智能合约审计, 区块链安全, 软件安全验证, 分布式系统, 安全关键系统

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

摘要

本发明公开了一种基于HCPN的智能合约安全模式形式化与验证方法，将智能合约的安全模式采用提交展示方法转换为BPMN模型，通过预设映射规则，将BPMN模型转换为CPN模型，分析CPN模型生成第一状态空间报告；将智能合约源代码转换为HCPN模型，分析HCPN模型生成第二状态空间报告；分别将第一、第二状态空间报告描述为一组属性，使用ASK‑CTL公式将所述一组属性表述为一个SML函数，运行所述SML函数，根据运行结果验证所述智能合约是否遵循所述安全模式。本发明便于调查在智能合约环境中被滥用的安全模式，将原本不易的通过映射规则进行建模的方式变为自动建模过程。

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

……

图1

图2

图3

法律状态时间线

一种平板银原位形成的纳米银电极及其制备方法与应用

当前第 / 件

一种灭弧器灭弧效果的评定装置与其评定方法

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

G06F21_10 G06F21_12 G06F21_14 G06F21_16 G06F21_24 G06F21_30 G06F21_31 G06F21_32 G06F21_33 G06F21_34 G06F21_36 G06F21_41 G06F21_44 G06F21_45 G06F21_46 G06F21_50 G06F21_51 G06F21_52 G06F21_53 G06F21_54 G06F21_55 G06F21_56 G06F21_57 G06F21_60 G06F21_62 G06F21_64 G06F21_71 G06F21_72 G06F21_73 G06F21_74 G06F21_75 G06F21_76 G06F21_78 G06F21_79 G06F21_80 G06F21_81 G06F21_83 G06F21_84 G06F21_85 G06F21_86 G06F21_88 覆盖41个领域

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

暂无同领域相似专利推荐

议价

不含过户费

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

资金托管权属尽调包过户

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

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

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)