[发明专利]基于区块链的智能合约逻辑漏洞检测方法及装置在审
申请号: | 202210296277.8 | 申请日: | 2022-03-24 |
公开(公告)号: | CN114676052A | 公开(公告)日: | 2022-06-28 |
发明(设计)人: | 马爱莲;周颖;夏琼;刘彦平 | 申请(专利权)人: | 中国工商银行股份有限公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京康信知识产权代理有限责任公司 11240 | 代理人: | 周春枚 |
地址: | 100140 北*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本申请公开了一种基于区块链的智能合约逻辑漏洞检测方法及装置,涉及区块链领域。该方法包括:确定区块链中智能合约的状态机模型,其中,状态机模型是基于智能合约的目标条款信息和承诺模型生成的模型,其中,承诺模型是由多个承诺信息生成的模型;基于状态机模型结合博弈理论,确定智能合约的纳什均衡,并计算纳什均衡的收益;依据纳什均衡的收益,确定智能合约的逻辑漏洞检测结果。通过本申请,解决了相关技术中采用人工方式检测区块链中的智能合约的逻辑漏洞,导致逻辑漏洞的检测效率较低的问题。 | ||
搜索关键词: | 基于 区块 智能 合约 逻辑 漏洞 检测 方法 装置 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国工商银行股份有限公司,未经中国工商银行股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202210296277.8/,转载请声明来源钻瓜专利网。