面向以太坊智能合约的协议自动形式化建模方法与系统

授权

摘要

本发明公开了一种面向以太坊智能合约的协议自动形式化建模方法与系统，在不需要人工参与的前提下，不仅能够建模合约中各个交易的行为，还可以建模交易之间的关系(即交易之间的顺序、区块变量)，因此，可以应用于验证：1)在不同交易顺序下是否满足特定安全属性；2)处于不同区块的交易是否满足特定属性，在能够用于分析溢出、重入等漏洞的基础上，还可以用于交易顺序依赖、区块变量依赖漏洞的自动分析。

基本信息

专利标题：

面向以太坊智能合约的协议自动形式化建模方法与系统

专利标题（英）：

暂无

公开（公告）号：

CN114218809A

申请号：

CN202111637894.1

公开（公告）日：

2022-03-22

申请日：

2021-12-29

授权号：

CN114218809B

授权日：

2022-06-03

发明人：

汪万森黄文超熊焰熊峰方贤进

申请人：

中国科学技术大学

申请人地址：

安徽省合肥市金寨路96号

代理机构：

安徽思沃达知识产权代理有限公司

代理人：

唐明

优先权：

CN202111637894.1

主分类号：

G06F30/20

IPC分类号：

G06F30/20 G06F21/57 G06Q40/04 G06F16/27

IPC结构图谱

G部——物理

G06

计算；推算或计数

G06F

电数字数据处理

G06F30/20

设计优化、验证或模拟

法律状态

2022-06-03 ：

授权

2022-04-08 ：

实质审查的生效

IPC(主分类) : G06F 30/20
申请日 : 20211229

2022-03-22 ：

公开

注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。

文件下载

暂无PDF文件可下载