-
公开(公告)号：CN118444896A
公开(公告)日：2024-08-06
申请号：CN202410511291.4
申请日：2024-04-26
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
Abstract: 本发明提供一种面向领域特定问题的智能合约建模转译方法，涉及区块链技术领域。该方法首先基于标准BPMN规范的业务流程设计模式，提供可扩展的领域特定语言组件，生成BPMN业务流程模型；再将BPMN业务流程模型转译为对应的智能合约。针对业务流程中出现的BPMN元素、控制流、数据流这些要素按照类别进行转译，其中BPMN元素分为任务、扩展的DSL组件和其他BPMN元素。本发明方法以业务流程建模领域广泛使用的BPMN规范为基础，结合面向领域特定问题的DSL组件，使得领域专家能更加准确地表达领域知识，对领域特定业务进行高效建模，并使智能合约更加容易满足领域应用需求。
-
公开(公告)号：CN118368117A
公开(公告)日：2024-07-19
申请号：CN202410513866.6
申请日：2024-04-26
Applicant: 北京大学
Abstract: 本发明公开一种针对链上数字内容基于密文策略属性加密的受控访问方法及设备，属于访问控制技术领域。所述方法包括：获取椭圆曲线上随机点GR＝(x,y,z)；基于坐标值x和坐标值y对数字内容的原始数据进行加密，并将得到的数据密文C1上传至IPFS后，得到该数据密文C1在IPFS上的访问路径L；分别基于坐标值z和该数字内容的访问控制策略w对访问路径L和随机点GR进行加密，得到路径密文C2和随机点密文GM；将数字内容和该数字内容的相关信息发送到区块链上，并将坐标值x对应的坐标密钥k1存储在链数据库上，以使数据访问者基于该数字内容的相关信息、坐标密钥k1以及存储在IPFS上的数据密文C1访问该数字内容的原始数据。本发明可以实现对链上数字内容的细粒度访问。
-
公开(公告)号：CN120012920A
公开(公告)日：2025-05-16
申请号：CN202510043014.X
申请日：2025-01-10
Applicant: 北京大学
IPC: G06N5/04 , G06F16/34 , G06F16/334 , G06F40/194 , G06F40/186 , G06F18/22 , G06N5/01 , H04L9/40
Abstract: 本发明公开一种基于大模型的安全编排剧本生成方法及系统，属于网络安全技术领域。所述方法包括：基于安全剧本库，构建剧本候选集合，所述剧本候选集合中的每一剧本候选包括：安全摘要ap和该安全摘要的专家安全剧本mp；在所述剧本候选集合中，获取n个与待编排摘要相似度最高的剧本候选i，并基于待编排摘要、安全剧本约束和剧本候选i，生成安全编排剧本#imgabs0#在n个安全编排剧本#imgabs1#符合一致性要求的情况下，输出对应的安全编排剧本#imgabs2#本发明可以在面临未有对应专家模板的新的安全场景下，提供更具有适应性的安全剧本。
-
Patent Agency Ranking
公开(公告)号：CN117979281B
公开(公告)日：2024-05-28
申请号：CN202410389774.1
申请日：2024-04-02
Applicant: 北京大学
IPC: H04W12/00 , H04W12/106 , H04W76/14 , H04L67/104 , H04L9/40 , G06F16/22 , G06F16/27 , G06Q40/04
Abstract: 本发明公开一种面向无人机的区块链侧链创建方法和交互方法，属于区块链技术领域。本发明的面向无人机的区块链侧链创建方法是基于合约模版和实时环境参数的动态创建侧链，其不仅支持实现无人机群态势感知的动态调整能力，还能够做到当协同态势感知发生时，动态生成态势感知任务的专用侧链，实现任务相关交易与事件的低延迟、高通量处理。本发明的面向无人机的区块链侧链交互方法能够有效完成跨主体、跨任务的数据共享，并且能够做到当数据共享发生时，通过侧链协同完成数据的高速安全传输，以及智能合约层面的任务协同操作。
-
公开(公告)号：CN119597326A
公开(公告)日：2025-03-11
申请号：CN202411476604.3
申请日：2024-10-22
Applicant: 北京大学
Abstract: 本发明公开一种基于漏洞报告的智能合约漏洞自动化修复方法及系统，属于区块链技术领域。所述方法包括：构建包含合约关键元素与漏洞代码切片的切片数据字典；对于一智能合约，基于该智能合约的漏洞描述获取结构化修复所涉及的合约关键元素，并结合所述切片数据字典，得到相关漏洞代码切片；生成所述相关漏洞代码切片的补丁代码；优化所述补丁代码，并使用优化后的补丁代码对该智能合约进行修复，得到所述智能合约的修复结果。本发明能够在源代码层面修复目前现实世界常见的逻辑漏洞、并且具备较高、较完整的修复率。
-
公开(公告)号：CN117979281A
公开(公告)日：2024-05-03
申请号：CN202410389774.1
申请日：2024-04-02
Applicant: 北京大学
IPC: H04W12/00 , H04W12/106 , H04W76/14 , H04L67/104 , H04L9/40 , G06F16/22 , G06F16/27 , G06Q40/04
Abstract: 本发明公开一种面向无人机的区块链侧链创建方法和交互方法，属于区块链技术领域。本发明的面向无人机的区块链侧链创建方法是基于合约模版和实时环境参数的动态创建侧链，其不仅支持实现无人机群态势感知的动态调整能力，还能够做到当协同态势感知发生时，动态生成态势感知任务的专用侧链，实现任务相关交易与事件的低延迟、高通量处理。本发明的面向无人机的区块链侧链交互方法能够有效完成跨主体、跨任务的数据共享，并且能够做到当数据共享发生时，通过侧链协同完成数据的高速安全传输，以及智能合约层面的任务协同操作。
-
公开(公告)号：CN118573350A
公开(公告)日：2024-08-30
申请号：CN202410513873.6
申请日：2024-04-26
Applicant: 北京大学
Abstract: 本发明公开一种针对链上数字内容合约的安全审计方法及系统，属于区块链技术领域。所述方法包括：生成待检测智能合约的控制流图；使用符号化变量执行该控制流图中的每个分支，并在获取每个潜在交易的执行中间信息的同时，完善所述控制流图以及得到变量依赖关系；基于所述执行中间信息生成每个潜在交易的摘要信息；基于摘要信息、完善后的控制流图及所述变量依赖关系进行漏洞检测，得到该待检测智能合约的漏洞信息。本发明能够自动化识别数字内容状态迁移合约和数字内容业务逻辑合约中的多种漏洞。
-
公开(公告)号：CN118259919A
公开(公告)日：2024-06-28
申请号：CN202410245232.7
申请日：2024-03-05
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
Abstract: 本发明提供一种基于CryptLang的隐私合约构建方法和代码生成系统，涉及区块链技术领域。该方法以以太坊作为底层的区块链，定义密码学任务对应的隐私合约的表达形式，以及隐私合约的执行过程，以实现密码学任务在代码生成系统上的数字化表达。密码学任务对应的隐私合约的表达形式通过CryptLang语言编写；CryptLang语言为嵌入在Solidity中的基于任务的语言；隐私合约代码生成系统包括前端界面和后端编译器；前端界面接受CryptLang语言编写的隐私合约代码作为输入，后端编译器执行代码生成，输出Solidity代码。该方法在代码生成系统中引入了隐私合约，并设计了智能合约编程语言CryptLang编写隐私合约，能够使密码学任务通过智能合约的形式进行数字化表达。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.014 seconds)
