浏览/检索结果:共3条,第1-3条

已选(0)清除 条数/页:   排序方式:
一种Fabric区块链系统智能合约的安全分析检测方法 专利
专利类型: 发明专利Invention, 专利号: CN202210029433.4, 申请日期: 2022-01-12, 公开日期: 2022-04-05
发明人:  陈钟;  关志;  李青山;  陈子明;  李悦
收藏  |  浏览/下载:20/0  |  提交时间:2025/08/21
基于深度学习的以太坊智能合约安全漏洞检测方法及系统 专利
专利类型: 发明专利Invention, 专利号: CN202210029518.2, 申请日期: 2022-01-12, 公开日期: 2022-02-15
发明人:  陈钟;  关志;  李青山;  杨可静;  崔冬琪
收藏  |  浏览/下载:33/0  |  提交时间:2025/08/21
一种适用于组合交易的智能合约形式化验证方法及系统 专利
专利类型: 发明专利Invention, 专利号: CN202210029440.4, 申请日期: 2022-01-12, 公开日期: 2022-02-15
发明人:  陈钟;  关志;  李青山;  董宇;  李悦
收藏  |  浏览/下载:18/0  |  提交时间:2025/08/21