首页> 中国专利> 面向以太坊智能合约的协议安全属性自动提取方法及系统

面向以太坊智能合约的协议安全属性自动提取方法及系统

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开了一种面向以太坊智能合约的协议安全属性自动提取方法及系统，基于源码中使用的函数和/或全局变量类型实现合约分类，是一种基于数字货币类型的智能合约分类方案，划分标准明确，能覆盖大多数的以太坊智能合约，同一分类下的智能合约具有共同点，便于提取通用安全属性；同时，可以针对不同类型的合约提取通用的安全属性，不需要人工参与，根据智能合约本身特征即可总结得出，能够应用于自动化的智能合约安全分析，使得分析更高效。同时这些安全属性可用于交易顺序依赖等漏洞的检测，不局限于溢出等底层漏洞。

著录项

公开/公告号CN114331396A

专利类型发明专利
公开/公告日2022-04-12

原文格式PDF
申请/专利权人中国科学技术大学;
展开▼

申请/专利号CN202111624759.3
发明设计人汪万森;黄文超;熊焰;熊峰;
展开▼

申请日2021-12-28
分类号G06Q20/06(20120101);G06Q20/38(20120101);G06Q40/04(20120101);
代理机构34220 安徽思沃达知识产权代理有限公司;
代理人赵晶莹
地址 230000 安徽省合肥市金寨路96号
入库时间 2023-06-19 14:51:31

法律信息

法律状态公告日

法律状态信息

法律状态
2022-04-12

公开

发明专利申请公布

相似文献

专利
中文文献
外文文献

1. 面向以太坊智能合约的协议自动形式化建模方法与系统 [P] . 中国专利： CN114218809A . 2022-03-22
2. 面向以太坊智能合约的协议自动形式化建模方法与系统 [P] . 中国专利： CN114218809B . 2022.06.03
3. 基于智能合约的收款方法、系统及可读存储介质 [P] . 世界知识产权组织专利： WO2020/143378A1 . 2020.07.16
4. 一种责任评估的智能控制管理系统及方法 [P] . 世界知识产权组织专利： WO2020/143067A1 . 2020.07.16
5. 一种复杂工况下自动驾驶车辆决策系统及其轨迹规划方法 [P] . 世界知识产权组织专利： WO2020/143288A1 . 2020.07.16