-
公开(公告)号：CN113609489B
公开(公告)日：2023-10-27
申请号：CN202110826971.1
申请日：2021-07-21
Applicant: 三峡大学
Abstract: 一种工业区块链中智能合约冲突的分布式检测方法，包括以下步骤：步骤1，获取智能合约；步骤2，智能合约特征提取；步骤3，智能合约聚类分析；步骤4，智能合约代码分析；步骤5，生成智能合约特征码；步骤6，智能合约代码冲突分析；步骤7，智能合约函数依赖分析；步骤8：智能合约数据依赖分析；步骤9：智能合约符号扫描；步骤10，智能合约冲突检测结果输出；该方法能够有效检测工业区块链智能合约中潜在的冲突风险，生成冲突分类编码，并中止冲突的智能合约，减少工业区块链智能合约中的冲突发生。
-
公开(公告)号：CN113609489A
公开(公告)日：2021-11-05
申请号：CN202110826971.1
申请日：2021-07-21
Applicant: 三峡大学
Abstract: 一种工业区块链中智能合约冲突的分布式检测方法，包括以下步骤：步骤1，获取智能合约；步骤2，智能合约特征提取；步骤3，智能合约聚类分析；步骤4，智能合约代码分析；步骤5，生成智能合约特征码；步骤6，智能合约代码冲突分析；步骤7，智能合约函数依赖分析；步骤8：智能合约数据依赖分析；步骤9：智能合约符号扫描；步骤10，智能合约冲突检测结果输出；该方法能够有效检测工业区块链智能合约中潜在的冲突风险，生成冲突分类编码，并中止冲突的智能合约，减少工业区块链智能合约中的冲突发生。
-
公开(公告)号：CN117909981A
公开(公告)日：2024-04-19
申请号：CN202311300503.6
申请日：2021-07-21
Applicant: 三峡大学
Abstract: 一种工业区块链中智能合约冲突的分布式检测系统，它包括Solidity分布式设计器、与Solidity分布式设计器的输出端连接的Solidity分布式编译器、以及与Solidity分布式编译器的输出端连接的Solidity分布式检测器；Solidity分布式设计器包括Solidity合约表达式分析器、Solidity合约逻辑分析器、Solidity合约关联图生成器；Solidity分布式编译器包括Solidity合约代码分析器、Solidity合约代码生成器、Solidity合约代码冲突分析器；Solidity分布式检测器包括Solidity合约函数依赖分析器、Solidity合约数据依赖分析器、Solidity合约符号扫描器。为了有效检测工业区块链智能合约中的冲突，本发明提出了一种工业区块链中智能合约冲突的分布式检测系统。
-
-
Search Results
3
records
(took 0.018 seconds)
