[发明专利]智能合约与链环境交互漏洞检测方法、系统、设备及介质在审
申请号: | 202210620850.6 | 申请日: | 2022-06-02 |
公开(公告)号: | CN114896604A | 公开(公告)日: | 2022-08-12 |
发明(设计)人: | 孙海泳 | 申请(专利权)人: | 成都链安科技有限公司 |
主分类号: | G06F21/57 | 分类号: | G06F21/57;G06F9/46;G06F8/41;G06F16/27 |
代理公司: | 成都行之智信知识产权代理有限公司 51256 | 代理人: | 宋辉 |
地址: | 610000 四川省成都市中国(四川)自由贸易试*** | 国省代码: | 四川;51 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种智能合约与链环境交互漏洞检测方法,包括:将目标智能合约和链上智能合约源代码编译为智能合约中间码;将智能合约中间码转换成智能合约行为模型;将智能合约行为模型转化成交互事务模型;对交互事务模型与目标属性模型进行一致性检测与验证。本发明通过智能合约事务生成、处理及链环境仿真,能够检测出智能合约与链环境交互漏洞问题。 | ||
搜索关键词: | 智能 合约 链环 交互 漏洞 检测 方法 系统 设备 介质 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于成都链安科技有限公司,未经成都链安科技有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202210620850.6/,转载请声明来源钻瓜专利网。
- 上一篇:用于湿巾桶成型加工的落料码垛装置
- 下一篇:一种计算机支架