一种泛在环境下的数字对象访问事务存证方法和装置

    公开(公告)号:CN115481446A

    公开(公告)日:2022-12-16

    申请号:CN202211059908.0

    申请日:2022-08-31

    Applicant: 北京大学

    Abstract: 本申请提供了一种泛在环境下的数字对象访问事务存证方法和装置,属于数字对象架构技术领域,本申请实施例通过多个数字对象的位置信息,将多个数字对象划分为不同共识组,每个共识组维护一条由若干个事务区块组成的区块链,在任一事务区块生成第一新增事务区块的情况下,在当前共识组完成对第一新增事务区块的共识后,通过邻接区块哈希指针集,将第一新增事务区块的块头分别广播至所有邻接共识组内进行存储,使得当任何一个事务区块内容被篡改,除了导致共识组内的哈希指针验证失败,还会导致邻接共识组中的邻接区块哈希指针的验证失败,极大地增加事务记录的篡改难度,提高泛在环境下数字对象访问事务的可信存证需求。

    一种数据交换共享低代码流程的动态模型检测方法和装置

    公开(公告)号:CN115237817B

    公开(公告)日:2022-12-16

    申请号:CN202211156938.3

    申请日:2022-09-22

    Applicant: 北京大学

    Abstract: 本申请涉及数据交换领域,提供了一种数据交换共享低代码流程的动态模型检测方法和装置,包括:将原始流程根据预设标准化规则,进行标准化,得到标准流程;将通过静态检测的标准流程转换为动态模型;生成所述通过静态检测的标准流程的动态约束,并检测所述动态模型是否满足所述动态约束,输出动态模型检测结果。通过对标准化的原始流程进行静态检测和动态检测两个阶段的检测,对第一类型坏味道和第二类型坏味道进行识别,并输出最终检测结果,可以处理各种复杂场景下的数据交换共享低代码流程,同时提升了数据交换共享低代码流程中坏味道识别的效率和精确性。

    一种基于知识图谱的开源应用自动化推荐方法及装置

    公开(公告)号:CN115221310B

    公开(公告)日:2022-12-16

    申请号:CN202211140949.2

    申请日:2022-09-20

    Applicant: 北京大学

    Inventor: 孙艳春 黄罡 马郓

    Abstract: 本发明提供了一种基于知识图谱的开源应用自动化推荐方法与装置。该方法包括:通过软件开发层级知识目录,进入目标知识条目页面;根据目标知识条目页面的预设链接,获取目标开源应用;根据开源应用知识图谱,推荐与目标开源应用相适应的库和框架的组合。本发明通过软件开发层级知识目录,构建系统性的软件开发学习知识体系,并通过预设链接可以直接获取到与软件开发知识点相对应的开源应用,实现了软件开发理论和实践的连通,解决了现有开源应用组织的无序性。此外,通过构建开源应用知识图谱,在获取到开源应用的同时,可以自动地为初学者推荐在实际开发中配合使用的库和框架项目,提升了开源应用实践的高效性。

    一种基于知识图谱的开源应用自动化推荐方法及装置

    公开(公告)号:CN115221310A

    公开(公告)日:2022-10-21

    申请号:CN202211140949.2

    申请日:2022-09-20

    Applicant: 北京大学

    Inventor: 孙艳春 黄罡 马郓

    Abstract: 本发明提供了一种基于知识图谱的开源应用自动化推荐方法与装置。该方法包括:通过软件开发层级知识目录,进入目标知识条目页面;根据目标知识条目页面的预设链接,获取目标开源应用;根据开源应用知识图谱,推荐与目标开源应用相适应的库和框架的组合。本发明通过软件开发层级知识目录,构建系统性的软件开发学习知识体系,并通过预设链接可以直接获取到与软件开发知识点相对应的开源应用,实现了软件开发理论和实践的连通,解决了现有开源应用组织的无序性。此外,通过构建开源应用知识图谱,在获取到开源应用的同时,可以自动地为初学者推荐在实际开发中配合使用的库和框架项目,提升了开源应用实践的高效性。

    基于远程证明的接口型数字对象真实性验证方法及装置

    公开(公告)号:CN115051810A

    公开(公告)日:2022-09-13

    申请号:CN202210696527.7

    申请日:2022-06-20

    Applicant: 北京大学

    Abstract: 本发明实施例提供了一种基于远程证明的接口型数字对象真实性验证方法及装置,包括:数据供给端接收数据使用端发送的数据获取请求;响应于数据获取请求,执行数据获取请求所指示的目标数据API,并利用可信测量引擎对目标数据API的可执行文件、执行过程以及执行结果进行测量,得到测量结果;基于测量结果以及可信测量引擎的数据签名,生成数据来源真实性证明报告;向数据使用端返回执行结果和数据来源真实性证明报告。数据使用端接收数据供给端返回的执行结果和证明报告;基于预先计算获取的合法测量结果对证明报告中的相关内容进行验证,以确保数据API的可执行文件、执行过程以及执行结果的完整性,从而保障所获得的共享数据本身的正确性和真实性。

    一种面向数据管控的智能合约自适应配置与执行的系统

    公开(公告)号:CN114205233B

    公开(公告)日:2022-07-12

    申请号:CN202111440264.5

    申请日:2021-11-30

    Applicant: 北京大学

    Abstract: 本申请提供一种面向数据管控的智能合约自适应配置与执行的系统,包括:集群模块,用于确定与智能合约请求对应的目标合约集群;共识模块,用于自适应地从多种预设共识算法中确定目标共识算法;通过目标共识算法对智能合约请求进行共识定序;执行模块,用于按照共识定序的顺序,控制节点的本地智能合约引擎执行智能合约请求;通信模块,用于自适应地从多种预设通信类型中确定功能模块之间的最佳通信类型。旨在提供一种在一条区块链上同时支持多样化的业务场景的面向数据管控的智能合约自适应配置与执行的系统,以使运行于同一条区块链上的每个智能合约集群都能以最优方式匹配不同的业务场景。

    一种物理拓扑敏感的人机物数字对象搜索方法与系统

    公开(公告)号:CN114186115A

    公开(公告)日:2022-03-15

    申请号:CN202111406209.4

    申请日:2021-11-24

    Applicant: 北京大学

    Inventor: 景翔 张宁 黄罡

    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: 北京大学

    Inventor: 黄罡 蔡华谦 张颖

    Abstract: 本发明提供了一种实现数据可信的自适应执行方法,涉及区块链技术领域,该方法包括智能合约的启动、智能合约的执行以及智能合约执行结果的校验过程,在上述过程中本发明实施例采用基于冗余计算的随机执行模式,通过在一个网络里随机选取多个节点共同执行数据分析逻辑,实现了相对不互信环境下的执行结果的可信计算,提升了智能合约的执行效率;同时通过在多节点同步调用的过程中对合约的执行进行记录,当需要同步时,就从最新状态的节点中获取所需的合约调用的执行记录并在本地进行回放,以此可在随机多节点状态不同步时将其快速恢复,实现数据的高可用,能满足低响应时间的数据分析场景。

    一种面向数据管控的程序静态分析方法和系统

    公开(公告)号:CN112100054B

    公开(公告)日:2021-07-20

    申请号:CN202010809497.7

    申请日:2020-08-12

    Applicant: 北京大学

    Abstract: 本发明实施例提供了一种面向数据管控的程序静态分析方法和系统,所述方法和系统生成智能合约代码的字节码;解析所述字节码,构建并打印控制流图;将所述智能合约中的污点源,添加到所述控制流图的起始块的分析结果中,遍历所述控制流图,基于污点分析技术进行数据依赖分析,持续更新所述控制流图中的基本块的分析结果,返回最终分析结果;生成并返回分析报告。本发明实施例提供的方法和系统,针对面向数据的管控需求的智能合约,实现了基于污点分析技术的静态分析算法,能基于不同的数据管控策略来定义数据约束并进行静态分析,保障面向数据管控的区块链平台上智能合约的准确运行和数据管控。

Patent Agency Ranking