-
公开(公告)号：CN112118290A
公开(公告)日：2020-12-22
申请号：CN202010808941.3
申请日：2020-08-12
Applicant: 北京大学
Abstract: 本发明实施例提供了一种基于程序分析的数据资源的管控方法，涉及区块链技术领域，在该控制方法中，P2P网络中的第一节点向第二节点发起针对智能合约的调用任务，第二节点根据调用任务，构建由多个基本块构成的控制流图，通过部分具有获取数据的代码的基本块来收集原始数据，并将原始数据保存在预先定义的变量中，以变量为粒度，对控制流图进行控制依赖分析和数据依赖分析，通过迭代稳定可获得变量关系结果，以此代替了典型属性的复杂属性关系，能够在数据分析智能合约的代码量大、结构复杂时，以一种简单、直观的方式展示输入数据与返回结果关系，然后再由第一节点执行现有的基于属性的访问控制方法，降低了人工代码审计的成本与难度。
-
公开(公告)号：CN112100054B
公开(公告)日：2021-07-20
申请号：CN202010809497.7
申请日：2020-08-12
Applicant: 北京大学
Abstract: 本发明实施例提供了一种面向数据管控的程序静态分析方法和系统，所述方法和系统生成智能合约代码的字节码；解析所述字节码，构建并打印控制流图；将所述智能合约中的污点源，添加到所述控制流图的起始块的分析结果中，遍历所述控制流图，基于污点分析技术进行数据依赖分析，持续更新所述控制流图中的基本块的分析结果，返回最终分析结果；生成并返回分析报告。本发明实施例提供的方法和系统，针对面向数据的管控需求的智能合约，实现了基于污点分析技术的静态分析算法，能基于不同的数据管控策略来定义数据约束并进行静态分析，保障面向数据管控的区块链平台上智能合约的准确运行和数据管控。
-
公开(公告)号：CN112118290B
公开(公告)日：2022-03-18
申请号：CN202010808941.3
申请日：2020-08-12
Applicant: 北京大学
IPC: H04L67/104 , H04L67/1097 , H04L67/1095 , H04L9/40
Abstract: 本发明实施例提供了一种基于程序分析的数据资源的管控方法，涉及区块链技术领域，在该控制方法中，P2P网络中的第一节点向第二节点发起针对智能合约的调用任务，第二节点根据调用任务，构建由多个基本块构成的控制流图，通过部分具有获取数据的代码的基本块来收集原始数据，并将原始数据保存在预先定义的变量中，以变量为粒度，对控制流图进行控制依赖分析和数据依赖分析，通过迭代稳定可获得变量关系结果，以此代替了典型属性的复杂属性关系，能够在数据分析智能合约的代码量大、结构复杂时，以一种简单、直观的方式展示输入数据与返回结果关系，然后再由第一节点执行现有的基于属性的访问控制方法，降低了人工代码审计的成本与难度。
-
公开(公告)号：CN112100054A
公开(公告)日：2020-12-18
申请号：CN202010809497.7
申请日：2020-08-12
Applicant: 北京大学
Abstract: 本发明实施例提供了一种面向数据管控的程序静态分析方法和系统，所述方法和系统生成智能合约代码的字节码；解析所述字节码，构建并打印控制流图；将所述智能合约中的污点源，添加到所述控制流图的起始块的分析结果中，遍历所述控制流图，基于污点分析技术进行数据依赖分析，持续更新所述控制流图中的基本块的分析结果，返回最终分析结果；生成并返回分析报告。本发明实施例提供的方法和系统，针对面向数据的管控需求的智能合约，实现了基于污点分析技术的静态分析算法，能基于不同的数据管控策略来定义数据约束并进行静态分析，保障面向数据管控的区块链平台上智能合约的准确运行和数据管控。
-
-
-
Search Results
4
records
(took 0.013 seconds)
