-
公开(公告)号：CN114205233B
公开(公告)日：2022-07-12
申请号：CN202111440264.5
申请日：2021-11-30
Applicant: 北京大学
IPC: H04L41/0816 , H04L67/104 , H04L67/1061 , H04L69/16 , H04L69/18 , G06F16/901 , G06F16/903
Abstract: 本申请提供一种面向数据管控的智能合约自适应配置与执行的系统，包括：集群模块，用于确定与智能合约请求对应的目标合约集群；共识模块，用于自适应地从多种预设共识算法中确定目标共识算法；通过目标共识算法对智能合约请求进行共识定序；执行模块，用于按照共识定序的顺序，控制节点的本地智能合约引擎执行智能合约请求；通信模块，用于自适应地从多种预设通信类型中确定功能模块之间的最佳通信类型。旨在提供一种在一条区块链上同时支持多样化的业务场景的面向数据管控的智能合约自适应配置与执行的系统，以使运行于同一条区块链上的每个智能合约集群都能以最优方式匹配不同的业务场景。
-
公开(公告)号：CN113935058B
公开(公告)日：2022-02-18
申请号：CN202111529265.7
申请日：2021-12-15
Applicant: 北京大学
Abstract: 本申请实施例提供一种面向泛在资源的拉模式可信预言机的软件定义方法，涉及区块链技术领域，所述方法包括：执行环境、审计机制分别计算主密钥的前半部分、后半部分；审计机制将后半部分的一部份发送给执行环境，使执行环境生成部分的TLS Key，执行环境依据部分TLS Key接收合约节点发送的资源，将接收数据的信息摘要发送至审计机制；审计机制收到信息摘要后使执行环境拥有完整的TLS Key来解密资源，以进行部署生成执行进程；审计机制重新接收资源以进行审计，审计完成后，执行环境返回执行进程的调用ID和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口，一次调用就能实现链下资源的软件定义化，还能为执行提供真实性证明。
-
公开(公告)号：CN112118107B
公开(公告)日：2021-08-27
申请号：CN202010808943.2
申请日：2020-08-12
Applicant: 北京大学
Abstract: 本发明提供了一种实现数据可信的自适应执行方法，涉及区块链技术领域，该方法包括智能合约的启动、智能合约的执行以及智能合约执行结果的校验过程，在上述过程中本发明实施例采用基于冗余计算的随机执行模式，通过在一个网络里随机选取多个节点共同执行数据分析逻辑，实现了相对不互信环境下的执行结果的可信计算，提升了智能合约的执行效率；同时通过在多节点同步调用的过程中对合约的执行进行记录，当需要同步时，就从最新状态的节点中获取所需的合约调用的执行记录并在本地进行回放，以此可在随机多节点状态不同步时将其快速恢复，实现数据的高可用，能满足低响应时间的数据分析场景。
-
公开(公告)号：CN112100054B
公开(公告)日：2021-07-20
申请号：CN202010809497.7
申请日：2020-08-12
Applicant: 北京大学
Abstract: 本发明实施例提供了一种面向数据管控的程序静态分析方法和系统，所述方法和系统生成智能合约代码的字节码；解析所述字节码，构建并打印控制流图；将所述智能合约中的污点源，添加到所述控制流图的起始块的分析结果中，遍历所述控制流图，基于污点分析技术进行数据依赖分析，持续更新所述控制流图中的基本块的分析结果，返回最终分析结果；生成并返回分析报告。本发明实施例提供的方法和系统，针对面向数据的管控需求的智能合约，实现了基于污点分析技术的静态分析算法，能基于不同的数据管控策略来定义数据约束并进行静态分析，保障面向数据管控的区块链平台上智能合约的准确运行和数据管控。
-
公开(公告)号：CN109062784B
公开(公告)日：2021-04-27
申请号：CN201810737261.X
申请日：2018-07-06
Applicant: 北京大学
Abstract: 本发明公开了一种接口参数约束代码入口定位方法与系统，先收集预设的输入参数的场景下系统客户端中的代码覆盖数据，并据此对系统客户端进行选择性插桩以插入探针，然后运行插桩后的系统客户端并演示场景，以触发读取接口参数和执行探针，通过探针打印出当前的函数调用栈和输入控件元信息，并据此定位到接口参数约束代码的入口函数。本发明有效解决了现有技术在将信息系统中的数据和功能服务化的过程中，在对接口参数约束代码定位时难以定位代码入口的问题，从而帮助开发者快速定位到接口参数约束代码入口，从而帮助开发者更快筛选出真正跟参数约束密切相关的代码。
-
Patent Agency Ranking
公开(公告)号：CN110362363B
公开(公告)日：2021-03-12
申请号：CN201910498732.0
申请日：2019-06-10
Applicant: 北京大学
Abstract: 本发明公开了一种基于运行时模型实现对终端应用控制的方法，通过定义运行时模型上的操作以及模型片段在堆、栈区域影响的等价性，实现了复杂的应用行为模型的分解，可操作的模型片段，并基于分解的模型片段，建立行为模型与应用状态和应用代码的因果关联，实现了在终端应用运行时对其应用行为的指令级别的控制。
-
公开(公告)号：CN112118107A
公开(公告)日：2020-12-22
申请号：CN202010808943.2
申请日：2020-08-12
Applicant: 北京大学
Abstract: 本发明提供了一种实现数据可信的自适应执行方法，涉及区块链技术领域，该方法包括智能合约的启动、智能合约的执行以及智能合约执行结果的校验过程，在上述过程中本发明实施例采用基于冗余计算的随机执行模式，通过在一个网络里随机选取多个节点共同执行数据分析逻辑，实现了相对不互信环境下的执行结果的可信计算，提升了智能合约的执行效率；同时通过在多节点同步调用的过程中对合约的执行进行记录，当需要同步时，就从最新状态的节点中获取所需的合约调用的执行记录并在本地进行回放，以此可在随机多节点状态不同步时将其快速恢复，实现数据的高可用，能满足低响应时间的数据分析场景。
-
公开(公告)号：CN109299004B
公开(公告)日：2020-08-25
申请号：CN201811014184.1
申请日：2018-08-31
Applicant: 北京大学
Abstract: 本发明公开了一种基于关键元素差异性分析方法及系统，通过对微服务中字节码的分析筛选出需要分析的关键元素集合，并通过对各关键元素在新旧版本安卓应用之间相似度的分析判断安卓应用在版本变化过程中相对于微服务是否发生了破坏性变化，避免了在安卓应用版本发生非破坏性变化时对微服务进行无必要的修改，减少了资源浪费。同时，本发明在安卓应用发生破坏性变化时，通过分析各关键元素在新旧版本安卓应用之间的相似度，判断各关键元素是否发生了破坏性变化，以对微服务中需要修改的关键元素进行定位，避免了对微服务中没必要修改的关键元素进行修改，提高了微服务升级效率。
-
公开(公告)号：CN110971663A
公开(公告)日：2020-04-07
申请号：CN201911032663.0
申请日：2019-10-28
Applicant: 北京大学
Abstract: 本发明提供了一种面向数据交易的可信处理方法与系统，应用于P2P网络系统中，所述P2P网络系统包括多个节点；可信处理方法包括存入方法和查询方法，首先在存入的过程中采用有向无环图帐本结构配合nRW共识机制，解决了大规模共享交换过程中的监管问题；其次，在查询的过程中，通过维护一棵高容错和负载均衡的树形结构，采用了跳数优化的方法对P2P网络系统进行优化，构造具有较为平衡网络的P2P网络系统，可在保证负载均衡的前提下，不对查询的延迟产生较大影响，保证了系统的可扩展性；以及采用了延迟优化和邻居节点管理协议的方法，可保证节点在上层节点宕机的情况下，保证查询消息被下层节点接收，可动态地将离开网络的节点替换为新的在线节点。
-
公开(公告)号：CN110866046A
公开(公告)日：2020-03-06
申请号：CN201911033551.7
申请日：2019-10-28
Applicant: 北京大学
IPC: G06F16/2458 , H04L29/08
Abstract: 本发明提供了一种可扩展的分布式查询方法及装置，应用于P2P网络系统中，所述P2P网络系统包括多个节点；本发明通过维护具有高容错和负载均衡的树形结构的P2P网络系统，将查询条件广播给P2P网络系统中的节点，节点在收到查询请求后，将本地满足查询条件的数据返回给P2P网络系统中的父节点，父节点将所有孩子节点返回的数据和本地的查询结果做去重和结算，将处理后的结果返回给该节点的父节点，以层层汇总的方式将数据返回给根节点，以此可降低代理节点的负载，保证低延迟，同时保证了系统的可扩展性。
-
-
-
-
-
-
-
-
-
Search Results
124
records
(took 0.072 seconds)
