[发明专利]面向以太坊智能合约的协议安全属性自动提取方法及系统在审
申请号: | 202111624759.3 | 申请日: | 2021-12-28 |
公开(公告)号: | CN114331396A | 公开(公告)日: | 2022-04-12 |
发明(设计)人: | 汪万森;黄文超;熊焰;熊峰 | 申请(专利权)人: | 中国科学技术大学 |
主分类号: | G06Q20/06 | 分类号: | G06Q20/06;G06Q20/38;G06Q40/04 |
代理公司: | 安徽思沃达知识产权代理有限公司 34220 | 代理人: | 赵晶莹 |
地址: | 230000*** | 国省代码: | 安徽;34 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种面向以太坊智能合约的协议安全属性自动提取方法及系统,基于源码中使用的函数和/或全局变量类型实现合约分类,是一种基于数字货币类型的智能合约分类方案,划分标准明确,能覆盖大多数的以太坊智能合约,同一分类下的智能合约具有共同点,便于提取通用安全属性;同时,可以针对不同类型的合约提取通用的安全属性,不需要人工参与,根据智能合约本身特征即可总结得出,能够应用于自动化的智能合约安全分析,使得分析更高效。同时这些安全属性可用于交易顺序依赖等漏洞的检测,不局限于溢出等底层漏洞。 | ||
搜索关键词: | 面向 以太 智能 合约 协议 安全 属性 自动 提取 方法 系统 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国科学技术大学,未经中国科学技术大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202111624759.3/,转载请声明来源钻瓜专利网。
- 上一篇:一种移动检修电源集群管理系统
- 下一篇:一种电力工程用电力塔防护装置